Fix doc building with newer yelp
authorMatthew Miller <mattdm@mattdm.org>
Fri, 9 Apr 2021 00:21:39 +0000 (20:21 -0400)
committerMatthew Miller <mattdm@mattdm.org>
Fri, 9 Apr 2021 00:21:39 +0000 (20:21 -0400)
This adds `-i`, because otherwise it will complain about missing files (which
we copy into place later), and adds a trailing slash to the output directory,
because `yelp-build` now puts the files into the wrong place otherwise.

doc/Makefile.am

index 3d044bd..78b9623 100644 (file)
@@ -7,7 +7,7 @@ EXTRA_DIST = docbook2html.sh docbook icons
 html/GuideIndex.html: docbook/GuideIndex.xml
        rm -rf html; mkdir html; cp $(srcdir)/icons/* html/
        if [ -x "$(GNOME_DOC_TOOL)" ]; then \
-               "$(GNOME_DOC_TOOL)" html -o html $(srcdir)/docbook/GuideIndex.xml ; \
+               "$(GNOME_DOC_TOOL)" html -i -o html/ $(srcdir)/docbook/GuideIndex.xml ; \
        else \
                echo "yelp-tools not found, html is not built" ; \
        fi