From bbdb31ffa766e7e6bedcabcc06f75771828afbba Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 16 Dec 1998 18:22:57 +0000
Subject: Note about texinfo menu update.

---
 todo | 1 +
 1 file changed, 1 insertion(+)

diff --git a/todo b/todo
index 3a77eee2..0fd9b8f8 100644
--- a/todo
+++ b/todo
@@ -25,6 +25,7 @@ B Polish ProofGeneral.texi and publish LaTeX version as an LFCS
    * Fix docstring magic so PROOFGENERAL_HOME is not var'd.
    * New line after first sentence of docstrings.
    * Several env variables / LEGO name stuff:: make `STUFF' be literal.
+   * Update menus in texi
 
 A BUGS to investigate:
   - Is there a catch bug on Solaris when a process shell killed?
-- 
cgit v1.2.3