From 04f20d7fc526ba3bbe65dce971c6eba826884e1f Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Sun, 14 Jan 2007 22:29:38 +0000 Subject: none --- Mach/BuildingGNUMach.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Mach') diff --git a/Mach/BuildingGNUMach.mdwn b/Mach/BuildingGNUMach.mdwn index 1b3298f3..9984c642 100644 --- a/Mach/BuildingGNUMach.mdwn +++ b/Mach/BuildingGNUMach.mdwn @@ -81,8 +81,8 @@ GNU Mach has to be built in a separate directory: Find the path to your GNU Mach sources (_[...]/gnumach-1-branch_) and configure it: - $ [...]/gnumach-1-branch/configure + $ [...]/gnumach-1-branch/configure --prefix= Install the header files into e.g. _~/gnu/include/_: - $ make no_deps=t prefix=~/gnu install-headers + $ make DESTDIR=~/gnu install-data -- cgit v1.2.3