From 22bb7abb06f1b74df383835aac0db4fd71837971 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jun 1999 18:11:28 +0000
Subject: todo for web pages

---
 todo | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/todo b/todo
index 55cfecd9..1044c7df 100644
--- a/todo
+++ b/todo
@@ -37,6 +37,14 @@ B Polish ProofGeneral.texi and publish LaTeX version as an LFCS
    * Update menus in texi
   [6 hours]
 
+B Web pages improvements:
+   - 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).
+   - 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. 
+
 A BUGS to investigate:
   - Thomas has a bizarre .emacs file which causes Seg Faults with
     Proof General and FSF Emacs.  Doesn't happen with "emacs -q".
-- 
cgit v1.2.3