isomac PRs

[Andreas Jaeger <aj@arthur.rhein-neckar.de>]

We've got three PRs (884, 947, 968) were people removed /usr/include
before running make and therefore isomac couldn't be compiled.

I propose the following small change (there's some reformatting
involved) from "first" to "before running `make install'" to the FAQ
and to the manual (and therefore to INSTALL).

With these changes check in, I'd like to close the three PRs. 

Any objections or improvements for the docu?

Andreas

1999-03-08  Andreas Jaeger  <aj@arthur.rhein-neckar.de>

	* manual/install.texi (Running make install): /usr/include should
	be renamed before running make install and not before running make 
	since otherwise some tools can't be build.


--- FAQ.in.~1~	Mon Mar  8 21:14:04 1999
+++ FAQ.in	Mon Mar  8 23:09:28 1999
@@ -388,10 +388,11 @@
 The dangers when installing glibc in /usr are twofold:
 
 * glibc will overwrite the headers in /usr/include.  Other C libraries
-  install a different but overlapping set of headers there, so the
-  effect will probably be that you can't compile anything.  You need to
-  rename /usr/include out of the way first.  (Do not throw it away; you
-  will then lose the ability to compile programs against your old libc.)
+  install a different but overlapping set of headers there, so the effect
+  will probably be that you can't compile anything.  You need to rename
+  /usr/include out of the way before running `make install'.  (Do not throw
+  it away; you will then lose the ability to compile programs against your
+  old libc.)
 
 * None of your old libraries, static or shared, can be used with a
   different C library major version.  For shared libraries this is not a

--- manual/install.texi.~1~	Mon Mar  8 21:13:28 1999
+++ manual/install.texi	Mon Mar  8 23:12:40 1999
@@ -222,11 +222,11 @@
 If you are upgrading from a previous installation of glibc 2.0 or 2.1,
 @samp{make install} will do the entire job.  If you're upgrading from
 Linux libc5 or some other C library, you need to rename the old
-@file{/usr/include} directory out of the way first, or you will end up
-with a mixture of header files from both libraries, and you won't be
-able to compile anything.  You may also need to reconfigure GCC to work
-with the new library.  The easiest way to do that is to figure out the
-compiler switches to make it work again
+@file{/usr/include} directory out of the way before running @samp{make
+install}, or you will end up with a mixture of header files from both
+libraries, and you won't be able to compile anything.  You may also need
+to reconfigure GCC to work with the new library.  The easiest way to do
+that is to figure out the compiler switches to make it work again
 (@samp{-Wl,-dynamic-linker=/lib/ld-linux.so.2} should work on Linux
 systems) and use them to recompile gcc.  You can also edit the specs
 file (@file{/usr/lib/gcc-lib/@var{TARGET}/@var{VERSION}/specs}), but


-- 
 Andreas Jaeger   aj@arthur.rhein-neckar.de    jaeger@informatik.uni-kl.de
  for pgp-key finger ajaeger@aixd1.rhrk.uni-kl.de