1 files changed, 1 insertions, 0 deletions
diff --git a/todo b/todo
index 2771f689..579bc0da 100644
--- a/todo
+++ b/todo
@@ -499,6 +499,7 @@ A add links *from* Coq, Lego & Isabelle Web pages (da, tms 10 min)
      README, doc/ProofGeneral.texi, html/download.html
 5. ProofGeneral.texi docstring magic is up-to-date:
      cd doc; make magic
+6. Update Emacs versions in texi, html/