blob: 96083b755ae2b147022c975b4368d2b4567ec74c (
plain)
1
2
3
4
5
6
7
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.
|
