From: Richard Kreckel Date: Thu, 1 Nov 2001 17:31:55 +0000 (+0000) Subject: * create dirs ${prefix}/share/doc/GiNaC/{tutorial,reference} only if X-Git-Tag: release_1-0-0~13 X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=58fb0e5059bd06891ce8ffa65def6e98bace751c * create dirs ${prefix}/share/doc/GiNaC/{tutorial,reference} only if non-empty. --- diff --git a/doc/reference/Makefile.am b/doc/reference/Makefile.am index cbcb2e4a..ef45fc19 100644 --- a/doc/reference/Makefile.am +++ b/doc/reference/Makefile.am @@ -45,8 +45,7 @@ latex/reference.ps: latex/reference.dvi reference.ps: latex latex/reference.ps cp ${srcdir}/latex/reference.ps reference.ps -ginacdocdir = $(datadir)/doc/GiNaC -ginacreferencedir = $(ginacdocdir)/reference +ginacreferencedir = `test -z "@REFERENCE_TARGETS@" || echo @datadir@/doc/GiNaC/reference` ginacreference_DATA = @REFERENCE_TARGETS@ CLEANFILES = *.html *.gif doxygen.css *.ps latex/* diff --git a/doc/tutorial/Makefile.am b/doc/tutorial/Makefile.am index af8ac282..461de9a9 100644 --- a/doc/tutorial/Makefile.am +++ b/doc/tutorial/Makefile.am @@ -31,8 +31,7 @@ ginac.dvi: $(EPS) ginac.html: ginac.texi version.texi $(PNG) $(MAKEINFO) --html $< -I ${srcdir} -ginacdocdir = $(datadir)/doc/GiNaC -ginactutorialdir = $(ginacdocdir)/tutorial +ginactutorialdir = `test -z "@TUTORIAL_TARGETS@" || echo @datadir@/doc/GiNaC/tutorial` ginactutorial_DATA = @TUTORIAL_TARGETS@ CLEANFILES = $(EPS) $(PNG) ginac.html