diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-06-12 13:40:54 -0400 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-06-12 13:41:08 -0400 |
commit | 330fe879ba128467a223285302bf746851ddb957 (patch) | |
tree | e0f7d48d282df3b6a97c0fb30161128fae0987e4 /Makefile.am | |
parent | 3a0e7bf5414ebbe160163d14452470ea85b41b64 (diff) |
build-sys: add 'man' target
Useful when working just on the documentation.
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 3219762654..a74c19df7b 100644 --- a/Makefile.am +++ b/Makefile.am @@ -511,6 +511,9 @@ MANPAGES_ALIAS = include Makefile-man.am +.PHONY: man +man: $(MANPAGES) $(MANPAGES_ALIAS) $(HTML_FILES) $(HTML_ALIAS) + XML_FILES = \ ${patsubst %.1,%.xml,${patsubst %.3,%.xml,${patsubst %.5,%.xml,${patsubst %.7,%.xml,${patsubst %.8,%.xml,$(MANPAGES)}}}}} HTML_FILES = \ |