diff --git a/doc/Makefile b/doc/Makefile
index ce434f9e3a..b0131512fb 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,7 +1,7 @@
 
 TOP = index
 
-all :	$(TOP).ps
+all :	$(TOP).ps $(TOP).txt
 
 $(TOP).tex:	$(TOP).lyx
 	lyx --export latex $(TOP).lyx
@@ -12,6 +12,9 @@ $(TOP).dvi:	$(TOP).tex
 $(TOP).ps:	$(TOP).dvi
 	dvips -o $@ $(TOP).dvi
 
+$(TOP).txt:	$(TOP).lyx
+	lyx --export text $(TOP).lyx
+
 clean:
 	rm ./$(TOP).toc; rm ./$(TOP).aux; rm ./$(TOP).tex; rm ./$(TOP).log