summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2020-04-16 22:21:43 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2020-04-16 23:17:43 +0200
commit0cf03cdab38bd588390ddecc7086d8bb0f56d71f (patch)
tree13456167731cc64ba7099013f3761041ec77f7e4
parent8872f037708d83d8b71de6747be499066d287455 (diff)
doc: Add missing word.
* doc/mach.texi (Features): Add missing word. Message-Id: <20200416202143.16804-1-rekado@elephly.net>
-rw-r--r--doc/mach.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/mach.texi b/doc/mach.texi
index 07cb0ad1..dcf0f93c 100644
--- a/doc/mach.texi
+++ b/doc/mach.texi
@@ -374,7 +374,7 @@ IPC, currently not available in GNU Mach).
@item it exists
The Mach microkernel is real software that works Right Now.
-It is not a research or a proposal. You don't have to wait at all
+It is not a research project or a proposal. You don't have to wait at all
before you can start using and developing it. Mach has been used in
many operating systems in the past, usually as the base for a single
UNIX server. In the GNU system, Mach is the base of a functional