diff options
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. + |