summaryrefslogtreecommitdiff
path: root/Master/texmf/doc/man/Makefile
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-17 01:30:05 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-07-17 01:30:05 +0000
commit71b400387478053692b04e1d0608865309286762 (patch)
tree6fbef9594330f0d554ffd584983a867f0ccd7023 /Master/texmf/doc/man/Makefile
parent0e083fd7bdd2fba736e4db71001eee98cbd9969b (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/Makefile20
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)
+