| changeset 8810 | d0eae42f6d12 |
| parent 8059 | 9128e934bf51 |
| child 9052 | 7db48fe85b05 |
--- a/Admin/makedist Fri May 05 22:23:27 2000 +0200 +++ b/Admin/makedist Fri May 05 22:24:03 2000 +0200 @@ -157,7 +157,7 @@ } >UNOFFICIAL fi -perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index1.html lib/html/index2.html +perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index.html perl -pi -e "s/Isabelle repository/$DISTVERSION/" src/Pure/ROOT.ML perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README.html lynx -dump README.html >README