if [ -x "$(GNOME_DOC_TOOL)" ]; then \
"$(GNOME_DOC_TOOL)" html -o html $(srcdir)/docbook/GuideIndex.xml ; \
else \
- echo "gnome-doc-tool not found, html is not built" ; \
+ echo "yelp-tools not found, html is not built" ; \
fi
html: html/GuideIndex.html
clean-local:
rm -rf html
-