summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel')
-rw-r--r--microkernel/mach/gnumach/building.mdwn4
1 files changed, 2 insertions, 2 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 5226a4b0..015046e6 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -66,7 +66,7 @@ GNU Mach and its headers should be built in a subdirectory:
$ mkdir gnumach-build
$ cd gnumach-build
-Find the path to your GNU Mach sources (`../gnumach`) and configure it:
+Find the path to your GNU Mach sources (`..`) and configure it:
$ ../configure --prefix=
@@ -96,7 +96,7 @@ into a bug when you configure and run make below. If that is the case, run "rm
$ cd gnumach-build
$ rm -rf *
-Find the path to your GNU Mach sources (`../gnumach`) and configure it:
+Find the path to your GNU Mach sources (`..`) and configure it:
$ ../configure