EXTRA_DIST = docbook2html.sh docbook
html/GuideIndex.html: docbook/GuideIndex.xml
- rm -rf html; mkdir html; cp icons/* html/
+ 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 ; \
else \
install-data-hook: html
if [ -x "$(GNOME_DOC_TOOL)" ]; then \
$(MKDIR_P) "$(DESTDIR)$(helpdir)" || exit 1; \
- cd html; for f in * ; do $(INSTALL_DATA) "$$f" "$(DESTDIR)$(helpdir)/$$f" ; done; \
+ cd $(srcdir)/html; for f in * ; do $(INSTALL_DATA) "$$f" "$(DESTDIR)$(helpdir)/$$f" ; done; \
ln -s GuideIndex.html "$(DESTDIR)$(helpdir)/index.html" ; \
fi