diff options
author | Thomas Roessler <roessler@does-not-exist.org> | 1998-10-08 12:51:09 +0000 |
---|---|---|
committer | Thomas Roessler <roessler@does-not-exist.org> | 1998-10-08 12:51:09 +0000 |
commit | 4f6d7b212263e60bafa0fdd58358456824bfe96d (patch) | |
tree | 5ea1b93f59826f527d7f6adc09ff760830fe2d54 /doc/Makefile.in | |
parent | a2a26ea81b9ef1a3987f5473386c80d4e57c69c1 (diff) |
Fix the uninstall target; add some magic to build and install the
HTML version of the manual if we can.
Diffstat (limited to 'doc/Makefile.in')
-rw-r--r-- | doc/Makefile.in | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 5aec52fd..ac4fba05 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -34,9 +34,17 @@ DISTFILES = Makefile.in dotlock.man.in \ DOCFILES = PGP-Notes.txt applying-patches.txt devel-notes.txt \ manual.txt + +all: mutt.man dotlock.man manual.txt try-html + complete: all html -all: mutt.man dotlock.man manual.txt +# We don't ship the html stuff, but we build and install it +# if sgml2html is available. Instead of nifty autoconf magic, +# we just do this in the makefile. ;) + +try-html: + -$(MAKE) html html: manual.html @@ -61,8 +69,8 @@ dotlock.man: dotlock.man.in (cd .. ; ./config.status) uninstall: - -rm -f $(mandir)/man1/mutt.1 $(docdir)/manual.txt \ - $(docdir)/PGP-Notes.txt + -rm -f $(mandir)/man1/mutt.1 + -rm -rf $(docdir) manual.txt: manual.sgml sgml2txt -c latin manual |