diff options
author | Niklas Hallqvist <niklas@cvs.openbsd.org> | 1995-12-22 16:47:20 +0000 |
---|---|---|
committer | Niklas Hallqvist <niklas@cvs.openbsd.org> | 1995-12-22 16:47:20 +0000 |
commit | ec18f98a8dd00dbc9bdc71858b395712564182bf (patch) | |
tree | f31db27a0d475ab3bb7d62153ec5f12c4d691b2e /gnu/usr.bin/texinfo/TODO | |
parent | 0ea8ce66e7dba7c3b169b0e15553a973df9e3570 (diff) |
Import of texinfo-3.6 from FSF
Diffstat (limited to 'gnu/usr.bin/texinfo/TODO')
-rw-r--r-- | gnu/usr.bin/texinfo/TODO | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gnu/usr.bin/texinfo/TODO b/gnu/usr.bin/texinfo/TODO new file mode 100644 index 00000000000..96083b755ae --- /dev/null +++ b/gnu/usr.bin/texinfo/TODO @@ -0,0 +1,8 @@ +* Implement a detexinfo program, like detex or delatex. This command would + strip all the texinfo commands out, and would be used as a filter on the + way to a speller. + + An option would be to NOT strip comments out. + + makeinfo --noheaders come close. + |