]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - Makefile.in
Makefile: Remove targets for html man pages.
[paraslash.git] / 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):