]> git.tue.mpg.de Git - paraslash.git/commitdiff
Makefile: Remove targets for html man pages.
authorAndre Noll <maan@systemlinux.org>
Sun, 22 Jul 2012 14:21:28 +0000 (16:21 +0200)
committerAndre Noll <maan@systemlinux.org>
Thu, 26 Jul 2012 02:19:30 +0000 (04:19 +0200)
The html version of the man pages is generated by other means these
days, so the two targets can be removed.

Makefile.in

index e05a9bfba91cdcc842f84e8e83baee8be98ecd29..92c9169daad6f39a30092224d7ad7a6e5b210a9a 100644 (file)
@@ -145,16 +145,6 @@ man/man1/%.1: % | $(man_dir)
        @[ -z "$(Q)" ] || echo 'MAN $<'
        $(Q) $(HELP2MAN) -h --detailed-help -N ./$< > $@
 
-man/html/%.html: man/man1/%.1
-       @[ -z "$(Q)" ] || echo 'MAN2HTML $<'
-       $(Q) mkdir -p man/html
-       $(Q) man2html $< > $@
-
-web/%.man.in.html: man/man1/%.1
-       @[ -z "$(Q)" ] || echo 'MAN2HTML $<'
-       $(Q) mkdir -p man/html
-       $(Q) man2html $< | sed -e '/^<\/BODY>/,$$d' -e '1,/<\/HEAD><BODY>/d' > $@
-
 $(object_dir):
        mkdir -p $@
 $(man_dir):