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.
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