diff options
| -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 $< @: $@ |