X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=configure.in;h=a1a3903d80aee26eca4f83c8cf9ee42009905ac7;hp=9849a68e8097b3fa664903ea891156f9a313f0af;hb=4fb81453461f004b7334bac10d1eed60ac9837b8;hpb=c84d42371ab2e0cc6350a7cffd4f784a54dbd91b

diff --git a/configure.in b/configure.in
index 9849a68e..a1a3903d 100644
--- a/configure.in
+++ b/configure.in
@@ -1,11 +1,11 @@
 dnl Process this file with autoconf to produce a configure script.
 
 AC_INIT(ginac/basic.cpp)
-AC_PREREQ(2.12)
+AC_PREREQ(2.13)
 
 dnl Configure options
 AC_ARG_ENABLE(html-doc, [  --enable-help-doc       build HTML documentation [default=yes]], , enable_html_doc=yes)
-AC_ARG_ENABLE(ps-doc,   [  --enable-ps-doc         build PostScript documentation [default=no]], , enable_ps_doc=no)
+AC_ARG_ENABLE(ps-doc,   [  --enable-ps-doc         build PostScript documentation [default=yes]], , enable_ps_doc=yes)
 
 dnl GiNaC version information
 dnl
@@ -107,11 +107,15 @@ TUTORIAL_TARGETS=
 REFERENCE_TARGETS=
 if [[ "x$enable_html_doc" = "xyes" ]]; then
   TUTORIAL_TARGETS="$TUTORIAL_TARGETS ginac.html"
-  REFERENCE_TARGETS="$REFERENCE_TARGETS index.html"
+  if [[ "$DOXYGEN" ]]; then
+    REFERENCE_TARGETS="$REFERENCE_TARGETS index.html"
+  fi
 fi
 if [[ "x$enable_ps_doc" = "xyes" ]]; then
   TUTORIAL_TARGETS="$TUTORIAL_TARGETS ginac.ps"
-  REFERENCE_TARGETS="$REFERENCE_TARGETS reference.ps"
+  if [[ "$DOXYGEN" ]]; then
+    REFERENCE_TARGETS="$REFERENCE_TARGETS reference.ps"
+  fi
 fi
 AC_SUBST(TUTORIAL_TARGETS)
 AC_SUBST(REFERENCE_TARGETS)