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.
generate nightly devel snapshot
authorisatest
Fri, 28 Feb 2003 14:25:22 +0100
changeset 13839 e1240620f1b5
parent 13838 fe83f2231767
child 13840 399c8103a98f
generate nightly devel snapshot
Admin/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makedist	Fri Feb 28 14:11:54 2003 +0100
+++ b/Admin/isatest-makedist	Fri Feb 28 14:25:22 2003 +0100
@@ -87,6 +87,9 @@
 cd $DISTPREFIX >> $DISTLOG 2>&1
 $TAR xvzf `cat $DISTPREFIX/ISABELLE_DIST` >> $DISTLOG 2>&1
 
+echo "### generating development snapshot web page" >> $DISTLOG 2>&1
+(cd ~/devel-page; make)
+
 echo ------------------- prepared test successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
 gzip -f $DISTLOG
isabelle