diff options
| author | David Aspinall | 1999-08-17 18:44:05 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-17 18:44:05 +0000 |
| commit | 551a6953e8989f8af100ca157e14a753781d0bfa (patch) | |
| tree | 0792c87a7b454f42695c562e36dc2fb1975a40d3 | |
| parent | 8d9474556f1ddb9b4f4289aa8786dacc040fce6d (diff) | |
Updated for web pages, now only low-priority.
| -rw-r--r-- | Makefile.devel | 4 | ||||
| -rw-r--r-- | todo | 15 |
2 files changed, 11 insertions, 8 deletions
diff --git a/Makefile.devel b/Makefile.devel index 7b2f4cf8..01c10a4f 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -299,8 +299,8 @@ dist: @echo "*************************************************" @echo " Making compressed tar file..." @echo "*************************************************" - (cd $(DISTBUILDIR); for f in $(IGNOREDFILES); do echo $$f >> ignoredfiles; done) - $(TAR) -cvhf $(DISTBUILDIR)/$(RELEASENAMETAR) -C $(DISTBUILDIR) $(RELEASENAME) -X $(DISTBUILDIR)/ignoredfiles + for f in $(IGNOREDFILES); do echo $$f >> ignoredfiles; done + $(TAR) -cvhf $(DISTBUILDIR)/$(RELEASENAMETAR) -C $(DISTBUILDIR) $(RELEASENAME) -X ignoredfiles rm -f ignoredfiles gzip -9 $(DISTBUILDIR)/$(RELEASENAMETAR) @echo "*************************************************" @@ -39,14 +39,17 @@ B Polish ProofGeneral.texi and publish LaTeX version as an LFCS * Update menus in texi [6 hours] -C Web pages improvements: - - Validate. Check appearance of V3 browsers. +X Web pages: + - Check appearance in V3 browsers. + - Validate pages. + Current failures for HTML 4.0 to do with CGI-style arguments with "&", + this is a problem with PHP3 really. - Restructure so that page titles are different to help - browsing. (Move links_arr from header.phtml somewhere new, - and set $pg_title appropriately before head.phtml is included). + browsing. (Move links_arr from header.phtml somewhere new, + and set $pg_title appropriately before head.phtml is included). - Add pdf documentation as soon as DCS upgrades its ancient - TeX installation, or as soon as making release from elsewhere - works. Also need to fix inclusion of image in pdf. + TeX installation, or as soon as making release from elsewhere + works. Also need to fix inclusion of image in pdf. - Add status bar messages to navigation bar - Get rid of footer() function. - Convert to SSI only plus a meta-generation phase? |