# HG changeset patch
# User nadvornik
# Date 1265548595 0
# Node ID a210f58165edf24c823d1a4132fdc1db5a32cc7b
# Parent  181a2e03062b171f2876f1d7a89e5a1fb2c51782
test gnome-doc-tool in configure

diff -r 181a2e03062b -r a210f58165ed configure.in
--- a/configure.in	Sun Feb 07 12:44:55 2010 +0000
+++ b/configure.in	Sun Feb 07 13:16:35 2010 +0000
@@ -218,6 +218,8 @@
 AC_DEFINE_UNQUOTED(GQ_HELPDIR, "$readmedir", [Location of documentation files])
 AC_DEFINE_UNQUOTED(GQ_HTMLDIR, "$htmldir", [Location of html documentation])
 
+AC_PATH_PROG(GNOME_DOC_TOOL, gnome-doc-tool)
+
 AC_SUBST(readmedir)
 AC_SUBST(htmldir)
 
@@ -469,6 +471,8 @@
 Documentation:
   Doxygen:       $DOXYGEN
   Formats:       $doxy_formats_report
+  doc-tool:      $GNOME_DOC_TOOL
+
 END
 
 cat config.report
diff -r 181a2e03062b -r a210f58165ed doc/Makefile.am
--- a/doc/Makefile.am	Sun Feb 07 12:44:55 2010 +0000
+++ b/doc/Makefile.am	Sun Feb 07 13:16:35 2010 +0000
@@ -8,13 +8,20 @@
 EXTRA_DIST = docbook2html.sh docbook
 
 html/GuideIndex.html: docbook/GuideIndex.xml
-	rm -rf html; mkdir html && gnome-doc-tool html -o html $(srcdir)/docbook/GuideIndex.xml
+	rm -rf html; mkdir html
+	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" ; \
+	fi
 
 html: html/GuideIndex.html
 
 install-data-hook: html
-	cd html; for f in * ; do $(INSTALL_DATA) "$$f" "$(DESTDIR)$(helpdir)/$$f" ; done
-	ln -s GuideIndex.html "$(DESTDIR)$(helpdir)/index.html"
+	if [ -x "$(GNOME_DOC_TOOL)" ]; then \
+		cd html; for f in * ; do $(INSTALL_DATA) "$$f" "$(DESTDIR)$(helpdir)/$$f" ; done; \
+		ln -s GuideIndex.html "$(DESTDIR)$(helpdir)/index.html" ; \
+	fi
 	
 uninstall-hook:
 	rm "$(DESTDIR)$(helpdir)/"*