Stephen Berman 016d3f7ddc Add Todo mode user manual. ...

* doc/misc/Makefile.in (INFO_TARGETS, DVI_TARGETS, PDF_TARGETS): Add todo-mode.
(todo-mode, $(buildinfodir)/todo-mode$(INFO_EXT)):
(todo-mode.dvi, todo-mode.pdf): New rules.

* doc/misc/todo-mode.texi: New file.

* info/dir: Add todo-mode.

2013-08-04 23:27:49 +02:00

5.5 KiB

Raw History

View raw