diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-17 01:30:05 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-07-17 01:30:05 +0000 |
commit | 71b400387478053692b04e1d0608865309286762 (patch) | |
tree | 6fbef9594330f0d554ffd584983a867f0ccd7023 /Master/texmf/doc/man/Makefile | |
parent | 0e083fd7bdd2fba736e4db71001eee98cbd9969b (diff) |
Adding pdf versions of the man pages.
git-svn-id: svn://tug.org/texlive/trunk@9626 c570f23f-e606-0410-a88d-b1316a301751
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) + |