Admin/Release/CHECKLIST

more formal build_doc tool (Admin only);
removed some doc-src junk;

+
−Checklist for official releases
+
−===============================
+
−
+
−- test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj;
+
−
+
−- test Proof General 4.1, 3.7.1.1;
+
−
+
−- check HTML header of library;
+
−
+
−- check CTRL-C, SIGINT in tty (also for external processes);
+
−
+
−- check persistent sessions with PG and Poly/ML 5.x;
+
−
+
−- check file positions within logic images (hyperlinks etc.);
+
−
+
−- Admin/update-keywords;
+
−
+
−- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
+
−
+
−- check Admin/components;
+
−
+
−- check funny base directory, e.g. "Test 中国";
+
−
+
−- diff NEWS wrt. last official release, which is read-only;
+
−
+
−- update https://isabelle.in.tum.de/repos/website;
+
−
+
−- maintain Docs:
+
−    doc/Contents
+
−
+
−- maintain Logics:
+
−    etc/components
+
−    lib/html/library_index_content.template
+
−
+
−- test separate compilation of Isabelle/Scala PIDE sources:
+
−    Admin/build jars_test
+
−
+
−- test Isabelle/jEdit:
+
−    print buffer
+
−
+
−- test contrib components:
+
−    x86_64-linux without 32bit C/C++ libraries
+
−    Mac OS X Leopard
+
−
+
−
+
−Packaging
+
−=========
+
−
+
−- makedist -j jedit_build-XXXX -r DISTNAME
+
−
+
−- makebin (multiplatform);
+
−
+
−- makebundle (multiplatform);
+
−
+
−- Mac OS X: hdiutil create -srcfolder DIR DMG;
+
−
+
−- Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
+
−
+
−- makebin -l on fast machine, based on renamed bundle with deleted heaps;
+
−
+
−
+
−Final release stage
+
−===================
+
−
+
−- makedist: REPOS_NAME="isabelle-release"
+
−
+
−- various .hg/hgrc files:
+
−  default = /home/isabelle-repository/repos/isabelle-release
+
−
+
−- isatest@macbroy28:hg-isabelle/.hg/hgrc
+
−- isatest@macbroy28:devel-page/content/index.content
+
−
+
−
+
−Post-release
+
−============
+
−
+
−- update /home/isabelle and /home/isabelle/html-data
+
−