diff options
| author | Karl Berry <karl@freefriends.org> | 2013-04-07 18:26:53 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2013-04-07 18:26:53 +0000 |
| commit | b04c2e1a42573e9735547702356c7b9a769a6855 (patch) | |
| tree | c0753443f39500a062d7698fe6b94359c813f871 /Master/texmf-dist/doc/man/Makefile | |
| parent | fb0bf13304a356f197bfc1add17f98c07e96f17b (diff) | |
texmf -> texmf-dist: doc
git-svn-id: svn://tug.org/texlive/trunk@29714 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/man/Makefile')
| -rw-r--r-- | Master/texmf-dist/doc/man/Makefile | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/man/Makefile b/Master/texmf-dist/doc/man/Makefile new file mode 100644 index 00000000000..b0d665adbb4 --- /dev/null +++ b/Master/texmf-dist/doc/man/Makefile @@ -0,0 +1,24 @@ +# Public domain. Originally written by Manuel Pegourie-Gonnard, 2008. + +DIR = man1 man5 + +export GROFF = groff +export PDFOPTS = -man -t -rS11 +export PSPDF = ps2pdf -sPAPERSIZE=a4 + +all: $(DIR) +pdf: $(DIR) +clean: $(DIR) + +# we don't cd to the new dir, since otherwise '.so man1/XXXX.1' doesn't work +$(DIR): + $(MAKE) -f $@/Makefile $(MAKECMDGOALS) +.PHONY: $(DIR) + +# The rules for the .so pages are generated by this target. +# Compare by hand against man1/Makefile. +so_pattern = ^\(.*\)\.1:\.so \(.*\)\.1$$ +so_replace = \1.man1.pdf: \1.1 \2.1\n\t$$(MKPDF)\n +so.rules: + grep '^\.so ' man1/* \ + | sed -e 's/$(so_pattern)/$(so_replace)/' |