From: Andre Noll Date: Sun, 22 Jul 2012 14:21:28 +0000 (+0200) Subject: Makefile: Remove targets for html man pages. X-Git-Tag: v0.4.12~44 X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;h=3339e10e3d70124b5b99f784c90d05cedd1be36b;hp=c2b50dd19a7f767adb15f9ac829d5ce6b45f8464;p=paraslash.git Makefile: Remove targets for html man pages. The html version of the man pages is generated by other means these days, so the two targets can be removed. --- diff --git a/Makefile.in b/Makefile.in index e05a9bfb..92c9169d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -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>/d' > $@ - $(object_dir): mkdir -p $@ $(man_dir):