diff options
Diffstat (limited to 'Master/texmf/doc/man/Makefile')
| -rw-r--r-- | Master/texmf/doc/man/Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Master/texmf/doc/man/Makefile b/Master/texmf/doc/man/Makefile index e42c7afdc49..b2547f76873 100644 --- a/Master/texmf/doc/man/Makefile +++ b/Master/texmf/doc/man/Makefile @@ -2,15 +2,11 @@ DIR = man1 man5 export GROFF = groff export PDFOPTS = -man -t -rS11 -export HTMLOPTS = -man -t -Thtml export PSPDF = ps2pdf -sPAPERSIZE=a4 all: $(DIR) pdf: $(DIR) -html: $(DIR) clean: $(DIR) - @echo 'Removing png files (from html).' - @rm -f -- *.png # html generates png's for tables etc # we don't cd to the new dir, since otherwise '.so man1/XXXX.1' doesn't work $(DIR): |