diff DOCS/documentation.html @ 5979:6cc15e96d709

rpm/deb/licensing stuff removed/changed
author gabucino
date Sun, 05 May 2002 05:04:56 +0000
parents f9860f0594ae
children 4afabc5571ae
line wrap: on
line diff
--- a/DOCS/documentation.html	Sun May 05 04:46:09 2002 +0000
+++ b/DOCS/documentation.html	Sun May 05 05:04:56 2002 +0000
@@ -267,9 +267,8 @@
 <P>
 <UL>
   <LI><A HREF="users_against_developers.html#gcc">1. GCC 2.96</A></LI>
-  <LI><A HREF="users_against_developers.html#binary">2. Binary packaging</A></LI>
-  <LI><A HREF="users_against_developers.html#nvidia">3. NVidia opinions</A></LI>
-  <LI><A HREF="users_against_developers.html#kotsog">4. About Joe Barr</A></LI>
+  <LI><A HREF="users_against_developers.html#nvidia">2. NVidia opinions</A></LI>
+  <LI><A HREF="users_against_developers.html#kotsog">3. About Joe Barr</A></LI>
 </UL>
 </P>