-dnl Determine which documentation shall be built
-TUTORIAL_TARGETS=
-REFERENCE_TARGETS=
-if test "x${enable_html_doc}" = "xyes"; then
- TUTORIAL_TARGETS="$TUTORIAL_TARGETS ginac.html"
- if [[ "$DOXYGEN" ]]; then
- REFERENCE_TARGETS="$REFERENCE_TARGETS index.html"
- fi
-fi
-if test "x${enable_ps_doc}" = "xyes"; then
- TUTORIAL_TARGETS="$TUTORIAL_TARGETS ginac.ps"
- if [[ "$DOXYGEN" ]]; then
- REFERENCE_TARGETS="$REFERENCE_TARGETS reference.ps"
- fi
-fi
-AC_SUBST(TUTORIAL_TARGETS)
-AC_SUBST(REFERENCE_TARGETS)
-