# HG changeset patch
# User wenzelm
# Date 864149390 -7200
# Node ID 4e3724e0659f2d39d64a696573331829d0f678e5
# Parent  0a45cdd7da37e0bfd44aa4a3ca4b704a8c91eeef
README generation;

diff -r 0a45cdd7da37 -r 4e3724e0659f Admin/makedist
--- 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