oops, need to add .txt to all target

diff --git a/doc/Programming-Guide/Makefile b/doc/Programming-Guide/Makefile
index db61816421e9d7535177eaa71d482463e80c9076..3848e5d2307e04fc9589ea8d65cfb11036a1fee3 100644 (file)
--- a/doc/Programming-Guide/Makefile
+++ b/doc/Programming-Guide/Makefile
@@ -1,6 +1,6 @@
 DOC    = prog-guide
 
-all: $(DOC).html $(DOC).ps
+all: $(DOC).html $(DOC).ps $(DOC).txt
 
 $(DOC).ps: $(DOC).dvi
        dvips -o $(DOC).ps $(DOC).dvi