Filter the TXT version from TTY escapes

diff --git a/doc/Programming-Guide/Makefile b/doc/Programming-Guide/Makefile
index 3848e5d2307e04fc9589ea8d65cfb11036a1fee3..26ff6a6e45e81a4ba47361b509125ed3cd64bd97 100644 (file)
--- a/doc/Programming-Guide/Makefile
+++ b/doc/Programming-Guide/Makefile
@@ -15,7 +15,7 @@ $(DOC).dvi: $(DOC).sgml
 #
 
 $(DOC).txt: $(DOC).sgml
-       sgml2txt $(DOC)
+       sgml2txt --filter $(DOC)
 
 $(DOC).html: $(DOC).sgml
        sgml2html $(DOC)