diff options
author | Thomas Roessler <roessler@does-not-exist.org> | 1998-06-16 17:58:16 +0000 |
---|---|---|
committer | Thomas Roessler <roessler@does-not-exist.org> | 1998-06-16 17:58:16 +0000 |
commit | 92c2c308a668ef4d34dfe3c6573f308371e44a5b (patch) | |
tree | f0974a050556591589a37d6dcd7288e67e3ec28a /doc/Makefile.in | |
parent | ef84ec775cad5b7cf7d7bc203a19ba4ab1bc76cb (diff) |
Putting Makefile under autoconf control.
Diffstat (limited to 'doc/Makefile.in')
-rw-r--r-- | doc/Makefile.in | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in new file mode 100644 index 00000000..7d85b315 --- /dev/null +++ b/doc/Makefile.in @@ -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 |