1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 7392697..fff2442 100644
--- a/Makefile
+++ b/Makefile
@@ -17,5 +17,6 @@ dist:
 htmldocs:
 	rm -rf -- ${DESTDIR}
 	makeinfo --html -o ${DESTDIR} top.texi
+	makeinfo --plaintext -o ${DESTDIR}/install.txt install.texi
 
 .PHONY: all dist htmldocs