diff options
author | 2011-02-17 21:21:59 -0800 | |
---|---|---|
committer | 2011-02-18 05:31:04 +0000 | |
commit | f16bd8dd1abc49ee7ef65b8bcb0ece9717084e54 (patch) | |
tree | ea84ccd7fea5a5ce9794db3d279b179237922ff4 | |
parent | 92d5a748d020fa2f4f58f63689d48a6e69294309 (diff) | |
download | paludis-f16bd8dd1abc49ee7ef65b8bcb0ece9717084e54.tar.gz paludis-f16bd8dd1abc49ee7ef65b8bcb0ece9717084e54.tar.xz |
Serialise different steps in man page generation
Previously the following sequence of commands would not rebuild the
man-pages properly:
make -j12
touch src/clients/man_cave.cc
make -j12
What happened is that make tries to build cave-foo.1, skipping generation
of cave-foo.xml, causing the former to fail.
-rw-r--r-- | src/clients/cave/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/clients/cave/Makefile.am b/src/clients/cave/Makefile.am index 4400635ba..c6b7c2613 100644 --- a/src/clients/cave/Makefile.am +++ b/src/clients/cave/Makefile.am @@ -93,10 +93,10 @@ $(man_MANS_txts) : man-cave CAVE_COMMANDS_PATH="" \ ./man-cave --asciidoc `echo $@ | sed -e 's.^cave-*..' -e 's,\.txt$$,,'` > $@ ; then rm -f $@ ; exit 1 ; fi -.txt.xml : +.txt.xml : $(man_MANS_txts) asciidoc --doctype=manpage --backend=docbook --out-file=$@ $< -.xml.1 : +.xml.1 : $(man_MANS_xmls) xmlto man $< @: $@ |