diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 63be7c7..422b87c 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,5 +1,26 @@ -if USE_DOXYGEN +# +# Docbook processing +# TODO: might also generate a man page +# +DB_URI = http://docbook.sourceforge.net/release/xsl/current + +if BUILD_HTML +dist_html_DATA = experiment-player.html +endif +CLEANFILES = experiment-player.html html_titlepage.xsl +EXTRA_DIST = experiment-player.xml html_custom.xsl html_titlepage.spec.xml + +experiment-player.html : experiment-player.xml html_custom.xsl html_titlepage.xsl + @XSLTPROC@ @XSLT_FLAGS@ -o $@ html_custom.xsl $< + +html_titlepage.xsl : html_titlepage.spec.xml + @XSLTPROC@ @XSLT_FLAGS@ -o $@ $(DB_URI)/template/titlepage.xsl $< + +# +# Doxygen processing (do not install or distribute) +# +if BUILD_DOXYGEN noinst_DATA = doxygen/ endif |