# HG changeset patch
# User wenzelm
# Date 1335719037 -7200
# Node ID 12cb7b5d4b77dfaa3597f267732262b2ec7df42c
# Parent 7df66b448c4acad00e1c683aef389112aff4923f
more windows-friendly presentation of main text files;
diff -r 7df66b448c4a -r 12cb7b5d4b77 Admin/makebundle
--- a/Admin/makebundle Sun Apr 29 11:44:33 2012 +0200
+++ b/Admin/makebundle Sun Apr 29 19:03:57 2012 +0200
@@ -81,6 +81,25 @@
cd "$ISABELLE_HOME/contrib/cygwin-1.7.9"
find usr/local/polyml-*/x86-cygwin | gzip > etc/setup/polyml.lst.gz
)
+
+ for NAME in ANNOUNCE README NEWS COPYRIGHT CONTRIBUTORS contrib/README
+ do
+ FILE="$ISABELLE_HOME/$NAME"
+ {
+ echo ''
+ echo ''
+ echo ''
+ echo ''
+ echo ''
+ echo "${NAME}"
+ echo ''
+ echo ''
+ echo ''
+ perl -w -p -e "s/&/&/g; s//>/g; s/'/'/g; s/\"/"/g;" "$FILE"
+ echo '
'
+ echo ''
+ } > "${FILE}.html"
+ done
fi