diff options
Diffstat (limited to 'Master/texmf/doc/man/Makefile')
| -rw-r--r-- | Master/texmf/doc/man/Makefile | 8 |
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)/' |