From 3339e10e3d70124b5b99f784c90d05cedd1be36b Mon Sep 17 00:00:00 2001 From: Andre Noll Date: Sun, 22 Jul 2012 16:21:28 +0200 Subject: [PATCH] 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. --- Makefile.in | 10 ---------- 1 file changed, 10 deletions(-) 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): -- 2.39.5