1.1 --- a/Admin/page/dist-content/packages.content	Thu Nov 30 20:10:29 2000 +0100
     1.2 +++ b/Admin/page/dist-content/packages.content	Thu Nov 30 20:14:25 2000 +0100
     1.3 @@ -112,7 +112,6 @@
     1.4  
     1.5  <tt>
     1.6  &nbsp;&nbsp; <!-- _GP_ "cd /usr/local/" . distname --> <br>
     1.7 -&nbsp;&nbsp; ./configure <br>
     1.8  &nbsp;&nbsp; ./bin/isatool install -p /usr/local/bin <br>
     1.9  </tt>
    1.10