diff options
author | Pekka Paalanen <pekka.paalanen@collabora.co.uk> | 2014-03-10 14:03:58 +0200 |
---|---|---|
committer | Kristian Høgsberg <krh@bitplanet.net> | 2014-03-10 13:10:28 -0700 |
commit | 538ee6bed6017e02862cef5054813d210778192a (patch) | |
tree | fce742a02e1aa7e4ad972e8174da77dfb1870fb4 | |
parent | d533839735b9dccdfe7819f13eb3c73fe5c81ced (diff) |
doc: do not rebuild man pages if they are up to date
The doxygen.man make target was not a real file that was generated,
therefore the man page rule was ran on every make invocation. Replace it
with a real file that is produced by the man page rule.
Signed-off-by: Pekka Paalanen <pekka.paalanen@collabora.co.uk>
-rw-r--r-- | doc/doxygen/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/doxygen/Makefile.am b/doc/doxygen/Makefile.am index 078506d..9870b01 100644 --- a/doc/doxygen/Makefile.am +++ b/doc/doxygen/Makefile.am @@ -37,7 +37,7 @@ xml/server/index.xml: $(scanned_src_files_server) wayland.doxygen echo "INPUT= $(scanned_src_files_server)"; \ ) | doxygen - -doxygen.man: $(scanned_src_files_client) $(scanned_src_files_server) +man/man3/wl_display.3: $(scanned_src_files_client) $(scanned_src_files_server) (cat wayland.doxygen; \ echo "GENERATE_MAN=YES"; \ echo "MAN_OUTPUT=man"; \ @@ -46,7 +46,7 @@ doxygen.man: $(scanned_src_files_client) $(scanned_src_files_server) ) | doxygen - # there is no man-local -all-local: doxygen.man +all-local: man/man3/wl_display.3 clean-local: rm -rf xml/ |