changeset 10556 | e574274823a4 |
parent 10162 | 947b7b8b0a69 |
child 11062 | e86340dc1d28 |
--- a/Admin/page/dist-content/packages.content Thu Nov 30 20:10:29 2000 +0100 +++ b/Admin/page/dist-content/packages.content Thu Nov 30 20:14:25 2000 +0100 @@ -112,7 +112,6 @@ <tt> <!-- _GP_ "cd /usr/local/" . distname --> <br> - ./configure <br> ./bin/isatool install -p /usr/local/bin <br> </tt>