1 ## Process this file with automake to produce Makefile.in.
5 EXTRA_DIST = docbook2html.sh docbook
7 html/GuideIndex.html: docbook/GuideIndex.xml
8 rm -rf html; mkdir html
9 if [ -x "$(GNOME_DOC_TOOL)" ]; then \
10 "$(GNOME_DOC_TOOL)" html -o html $(srcdir)/docbook/GuideIndex.xml ; \
12 echo "gnome-doc-tool not found, html is not built" ; \
15 html: html/GuideIndex.html
17 install-data-hook: html
18 if [ -x "$(GNOME_DOC_TOOL)" ]; then \
19 $(MKDIR_P) "$(DESTDIR)$(helpdir)" || exit 1; \
20 cd html; for f in * ; do $(INSTALL_DATA) "$$f" "$(DESTDIR)$(helpdir)/$$f" ; done; \
21 ln -s GuideIndex.html "$(DESTDIR)$(helpdir)/index.html" ; \
25 rm "$(DESTDIR)$(helpdir)/"*