From 3d6ecf5997f3485f9dcdbad0867c34d96cd460cf Mon Sep 17 00:00:00 2001 From: jgarcia Date: Tue, 30 May 2006 10:10:30 +0000 Subject: [PATCH] Remove bogus paragraph from the documentation (J. Stecklina) --- src/doc/user.txi | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/src/doc/user.txi b/src/doc/user.txi index 872fa1f7f..689b3d8e7 100644 --- a/src/doc/user.txi +++ b/src/doc/user.txi @@ -270,18 +270,19 @@ info files in standard directories like @file{/usr/local/bin}, @file{/usr/local/man/man1}, @file{/usr/local/info}. @item If you don't have access rights to these directories, you should -give to configure alternate places. Try @code{./configure -help} for +give to configure alternate places. Try @code{./configure --help} for instructions on how to supply this information to configure, but a good starting point is @smallformat $ ./configure --prefix=$HOME @end smallformat -@item Make sure everything went OK with the configuration. -The configuration script figures out the machine where it is running and -creates a directory @code{machine} where to perform the installation. If the -program fails to recognize the machine, you will have to check whether it is -one of the supported machines present in @code{src/h/machine.h}. +@c FIXME: This information seems wrong! +@c @item Make sure everything went OK with the configuration. +@c The configuration script figures out the machine where it is running and +@c creates a directory @code{machine} where to perform the installation. If the +@c program fails to recognize the machine, you will have to check whether it is +@c one of the supported machines present in @code{src/h/machine.h}. @item Next you must build the program and install it @smallformat