Update install.texi for building manual in build dir

2 files changed, 6 insertions, 4 deletions

diff --git a/ChangeLog b/ChangeLog
index 38ed06cf8a..9a94c11eee 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,8 @@
 2012-05-04  Andreas Jaeger  <aj@suse.de>
 
 	[BZ #13750]
+	* manual/install.texi (Configuring and compiling): Adjust since
+	the info files are not part of the tar ball anymore.
 	* manual/.gitignore: Remove, it's not needed anymore.
 	* manual/libc-texinfo.sh: Pass OUTDIR as extra argument, create
 	all files in it.
diff --git a/manual/install.texi b/manual/install.texi
index d2663f3d99..9918425a49 100644
--- a/manual/install.texi
+++ b/manual/install.texi
@@ -203,10 +203,10 @@ system such as @file{/etc/passwd}, @file{/etc/nsswitch.conf} and others.
 These files must all contain correct and sensible content.
 
 To format the @cite{GNU C Library Reference Manual} for printing, type
-@w{@code{make dvi}}.  You need a working @TeX{} installation to do this.
-The distribution already includes the on-line formatted version of the
-manual, as Info files.  You can regenerate those with @w{@code{make
-info}}, but it shouldn't be necessary.
+@w{@code{make dvi}}.  You need a working @TeX{} installation to do
+this.  The distribution builds the on-line formatted version of the
+manual, as Info files, as part of the build process.  You can build
+them manually with @w{@code{make info}}.
 
 The library has a number of special-purpose configuration parameters
 which you can find in @file{Makeconfig}.  These can be overwritten with