1 files changed, 13 insertions, 0 deletions
diff --git a/doc/makefile b/doc/makefile
new file mode 100644
index 00000000..7d85b315
--- /dev/null
+++ b/doc/makefile
@@ -0,0 +1,13 @@
+all: manual.txt mutt.man manual.html
+
+manual.txt: manual.sgml
+	sgml2txt manual
+
+manual.html: manual.sgml
+	sgml2html manual
+
+mutt.man: mutt.sgml
+	sgml2txt -man mutt
+
+clean clean-real distclean:
+	rm -f *~ *.html *.orig *.rej