summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMutoShack <MutoShack@web>2019-09-11 06:29:41 +0200
committerGNU Hurd web pages engine <web-hurd@gnu.org>2019-09-11 06:29:41 +0200
commit790a76f6ec1e78cb91aab96e23d733237ec5089e (patch)
tree4daee17bbc2ba44c1ef2dae30457ec0dfc5b11e0
parent83fb91c086c1bb63046d33c0dd5e8b7cdbd4018b (diff)
Fix typo
-rw-r--r--documentation.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation.mdwn b/documentation.mdwn
index 85f5a608..8e336b42 100644
--- a/documentation.mdwn
+++ b/documentation.mdwn
@@ -51,7 +51,7 @@ message passing. Eventually, the Hurd servers and Unix processes discuss with
each other using these RPCs.
Depending on your background, you may want to start reading the documentation
-from userlandish interfaces (Hurd) or from the micro kernel itself (Mach).
+from userlandish interfaces (Hurd) or from the microkernel itself (Mach).
* [[GNU_Hurd|hurd/documentation]]
* [[Mach|microkernel/mach/documentation]]