comparison doc/Makefile.am @ 1796:a210f58165ed

test gnome-doc-tool in configure
author nadvornik
date Sun, 07 Feb 2010 13:16:35 +0000
parents a7f7b9c0050c
children
comparison
equal deleted inserted replaced
1795:181a2e03062b 1796:a210f58165ed
6 help_DATA = 6 help_DATA =
7 7
8 EXTRA_DIST = docbook2html.sh docbook 8 EXTRA_DIST = docbook2html.sh docbook
9 9
10 html/GuideIndex.html: docbook/GuideIndex.xml 10 html/GuideIndex.html: docbook/GuideIndex.xml
11 rm -rf html; mkdir html && gnome-doc-tool html -o html $(srcdir)/docbook/GuideIndex.xml 11 rm -rf html; mkdir html
12 if [ -x "$(GNOME_DOC_TOOL)" ]; then \
13 "$(GNOME_DOC_TOOL)" html -o html $(srcdir)/docbook/GuideIndex.xml ; \
14 else \
15 echo "gnome-doc-tool not found, html is not built" ; \
16 fi
12 17
13 html: html/GuideIndex.html 18 html: html/GuideIndex.html
14 19
15 install-data-hook: html 20 install-data-hook: html
16 cd html; for f in * ; do $(INSTALL_DATA) "$$f" "$(DESTDIR)$(helpdir)/$$f" ; done 21 if [ -x "$(GNOME_DOC_TOOL)" ]; then \
17 ln -s GuideIndex.html "$(DESTDIR)$(helpdir)/index.html" 22 cd html; for f in * ; do $(INSTALL_DATA) "$$f" "$(DESTDIR)$(helpdir)/$$f" ; done; \
23 ln -s GuideIndex.html "$(DESTDIR)$(helpdir)/index.html" ; \
24 fi
18 25
19 uninstall-hook: 26 uninstall-hook:
20 rm "$(DESTDIR)$(helpdir)/"* 27 rm "$(DESTDIR)$(helpdir)/"*
21 28
22 clean-local: 29 clean-local: