comparison doc/Makefile.am @ 1735:c08defa57068

build documentation with gnome-doc-tool in makefile
author nadvornik
date Fri, 27 Nov 2009 23:27:35 +0000
parents b92fc3c922ac
children c4d37e0fc841
comparison
equal deleted inserted replaced
1734:b92fc3c922ac 1735:c08defa57068
1 ## Process this file with automake to produce Makefile.in. 1 ## Process this file with automake to produce Makefile.in.
2 2
3 helpdir = @htmldir@ 3 helpdir = @htmldir@
4 4
5 # empty help_DATA just installs the directory
6 help_DATA =
7
5 EXTRA_DIST = docbook2html.sh docbook 8 EXTRA_DIST = docbook2html.sh docbook
9
10 html/GuideIndex.html: docbook/GuideIndex.xml
11 rm -rf html; mkdir html && gnome-doc-tool html -o html $(srcdir)/docbook/GuideIndex.xml
12
13 html: html/GuideIndex.html
14
15 install-data-hook: html
16 cd html; for f in * ; do $(INSTALL_DATA) "$$f" "$(DESTDIR)$(helpdir)/$$f" ; done
17 ln -s GuideIndex.html "$(DESTDIR)$(helpdir)/index.html"
18
19 uninstall-hook:
20 rm "$(DESTDIR)$(helpdir)/"*
21
22 clean-local:
23 rm -rf html
24