diff options
| -rw-r--r-- | src/clients/cave/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/clients/cave/Makefile.am b/src/clients/cave/Makefile.am index d502557f3..e59587a70 100644 --- a/src/clients/cave/Makefile.am +++ b/src/clients/cave/Makefile.am @@ -113,7 +113,7 @@ $(command_MANS_txts) : man-cave xmlto man $< .xml.html-man-fragment : $(man_MANS_xmls) - xmlto html $< -o $@-dir + xmlto -o $@-dir html $< sed \ -e '1s,^.*\(<div class="refnamediv">\),\1,' \ -e '$$s,</body>.*,,' -e '$$s,</div><div class="navfooter"><hr></div>,,' \ |