annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8
e0d0593d519e Sync to GQview 1.5.9 release.
gqview
parents:
diff changeset
1 ## Process this file with automake to produce Makefile.in.
e0d0593d519e Sync to GQview 1.5.9 release.
gqview
parents:
diff changeset
2
484
35991929975d fixed instalation of doc files
nadvornik
parents: 199
diff changeset
3 helpdir = @htmldir@
8
e0d0593d519e Sync to GQview 1.5.9 release.
gqview
parents:
diff changeset
4
1774
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
5 # empty help_DATA just installs the directory
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
6 help_DATA =
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
7
1773
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents: 1143
diff changeset
8 EXTRA_DIST = docbook2html.sh docbook
1774
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
9
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
10 html/GuideIndex.html: docbook/GuideIndex.xml
1796
a210f58165ed test gnome-doc-tool in configure
nadvornik
parents: 1774
diff changeset
11 rm -rf html; mkdir html
a210f58165ed test gnome-doc-tool in configure
nadvornik
parents: 1774
diff changeset
12 if [ -x "$(GNOME_DOC_TOOL)" ]; then \
a210f58165ed test gnome-doc-tool in configure
nadvornik
parents: 1774
diff changeset
13 "$(GNOME_DOC_TOOL)" html -o html $(srcdir)/docbook/GuideIndex.xml ; \
a210f58165ed test gnome-doc-tool in configure
nadvornik
parents: 1774
diff changeset
14 else \
a210f58165ed test gnome-doc-tool in configure
nadvornik
parents: 1774
diff changeset
15 echo "gnome-doc-tool not found, html is not built" ; \
a210f58165ed test gnome-doc-tool in configure
nadvornik
parents: 1774
diff changeset
16 fi
1774
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
17
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
18 html: html/GuideIndex.html
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
19
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
20 install-data-hook: html
1796
a210f58165ed test gnome-doc-tool in configure
nadvornik
parents: 1774
diff changeset
21 if [ -x "$(GNOME_DOC_TOOL)" ]; then \
a210f58165ed test gnome-doc-tool in configure
nadvornik
parents: 1774
diff changeset
22 cd html; for f in * ; do $(INSTALL_DATA) "$$f" "$(DESTDIR)$(helpdir)/$$f" ; done; \
a210f58165ed test gnome-doc-tool in configure
nadvornik
parents: 1774
diff changeset
23 ln -s GuideIndex.html "$(DESTDIR)$(helpdir)/index.html" ; \
a210f58165ed test gnome-doc-tool in configure
nadvornik
parents: 1774
diff changeset
24 fi
1774
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
25
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
26 uninstall-hook:
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
27 rm "$(DESTDIR)$(helpdir)/"*
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
28
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
29 clean-local:
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
30 rm -rf html
a7f7b9c0050c build documentation with gnome-doc-tool in makefile
nadvornik
parents: 1773
diff changeset
31