Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more windows-friendly presentation of main text files;
authorwenzelm
Sun, 29 Apr 2012 19:03:57 +0200
changeset 47833 12cb7b5d4b77
parent 47832 7df66b448c4a
child 47834 4e247a648a01
more windows-friendly presentation of main text files;
Admin/makebundle file | annotate | diff | comparison | revisions 
--- 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 '<?xml version="1.0" encoding="utf-8" ?>'
+      echo '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">'
+      echo '<html xmlns="http://www.w3.org/1999/xhtml">'
+      echo '<head>'
+      echo '<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>'
+      echo "<title>${NAME}</title>"
+      echo '</head>'
+      echo '<body>'
+      echo '<pre>'
+      perl -w -p -e "s/&/&amp;/g; s/</&lt;/g; s/>/&gt;/g; s/'/&apos;/g; s/\"/&quot;/g;" "$FILE"
+      echo '</pre>'
+      echo '</body>'
+    } > "${FILE}.html"
+  done
 fi
isabelle