Admin/makebundle

--- a/Admin/makebundle	Wed Apr 25 15:54:36 2012 +0200
+++ b/Admin/makebundle	Wed Apr 25 17:15:10 2012 +0200
@@ -77,6 +77,10 @@
   tar -C "$ISABELLE_HOME" -xv -f "$TAR"
 
   mv "$ISABELLE_HOME/contrib"/polyml* "$ISABELLE_HOME/contrib/cygwin-1.7.9/usr/local/"
+  (
+    cd "$ISABELLE_HOME/contrib/cygwin-1.7.9"
+    find usr/local/polyml-*/x86-cygwin | gzip > etc/setup/polyml.lst.gz
+  )
 fi