diff options
Diffstat (limited to 'Master/texmf/doc/man/Makefile')
-rw-r--r-- | Master/texmf/doc/man/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Master/texmf/doc/man/Makefile b/Master/texmf/doc/man/Makefile new file mode 100644 index 00000000000..e42c7afdc49 --- /dev/null +++ b/Master/texmf/doc/man/Makefile @@ -0,0 +1,20 @@ +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): + $(MAKE) -f $@/Makefile $(MAKECMDGOALS) + +.PHONY: $(DIR) + |