Admin/makedist
changeset 3257 4e3724e0659f
parent 3186 57be77ca36ff
child 3281 d4ddd43f418a
--- a/Admin/makedist	Tue May 20 19:29:04 1997 +0200
+++ b/Admin/makedist	Tue May 20 19:29:50 1997 +0200
@@ -143,6 +143,8 @@
   } >UNOFFICIAL
 fi
 
+lynx -dump README.html >README
+
 
 # create archive