summaryrefslogtreecommitdiff
path: root/Master/texmf/doc/man/Makefile
diff options
context:
space:
mode:
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)
+