PATCH: install/index.html (was: make uninstall doesn't work?)

[Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>]

On Thu, 30 Dec 1999, Martin v. Loewis wrote:
> What the message wants to tell you is: GCC does not support 'make
> uninstall', period.

You probably had something in mind when Cc:ing me, Martin, hadn't you? :-)

What do you think about the following patch (which I have not installed
yet)?

Gerald

Index: index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/install/index.html,v
retrieving revision 1.10
diff -c -3 -p -r1.10 index.html
*** index.html	2000/01/07 17:06:20	1.10
--- index.html	2000/01/29 14:44:18
*************** the <a href="specific.html">host/target 
*** 33,50 ****
  <p>The installation procedure is broken into five steps.
  
  <ul>
- 
    <li> <a href="download.html">downloading the source</a>
    <li> <a href="configure.html">configure</a>
    <li> <a href="build.html">build</a>
    <li> <a href="test.html">test</a> (optional)
    <li> <a href="finalinstall.html">install</a>
- 
  </ul>
  
  <hr>
  <a href="../index.html">Return to the GCC home page</a>
  <hr>
! <i>Last modified on January 7, 2000.</i>
  </body>
  </html>
--- 33,54 ----
  <p>The installation procedure is broken into five steps.
  
  <ul>
    <li> <a href="download.html">downloading the source</a>
    <li> <a href="configure.html">configure</a>
    <li> <a href="build.html">build</a>
    <li> <a href="test.html">test</a> (optional)
    <li> <a href="finalinstall.html">install</a>
  </ul>
  
+ <p>Please note that GCC does not support <CODE>`make uninstall`</CODE>
+ and probably won't do so in the near future as this would open a can
+ of worms. Instead, we suggest that you install GCC into a directory of
+ its own and simply remove that directory when you do not need that
+ specific version of GCC any longer.
+ 
  <hr>
  <a href="../index.html">Return to the GCC home page</a>
  <hr>
! <i>Last modified on January 29, 2000.</i>
  </body>
  </html>