README generation;
authorwenzelm
Tue, 20 May 1997 19:29:50 +0200
changeset 32574e3724e0659f
parent 3256 0a45cdd7da37
child 3258 cd3065010297
README generation;
Admin/makedist
     1.1 --- a/Admin/makedist	Tue May 20 19:29:04 1997 +0200
     1.2 +++ b/Admin/makedist	Tue May 20 19:29:50 1997 +0200
     1.3 @@ -143,6 +143,8 @@
     1.4    } >UNOFFICIAL
     1.5  fi
     1.6  
     1.7 +lynx -dump README.html >README
     1.8 +
     1.9  
    1.10  # create archive
    1.11