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/Makefile8
1 files changed, 7 insertions, 1 deletions
diff --git a/Master/texmf/doc/man/Makefile b/Master/texmf/doc/man/Makefile
index 344bd1e9316..b0d665adbb4 100644
--- a/Master/texmf/doc/man/Makefile
+++ b/Master/texmf/doc/man/Makefile
@@ -13,6 +13,12 @@ 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)/'