- changed function::diff() to be more tolerant by checking first if the

[ginac.git] / configure

diff --git a/configure b/configure
index d7b4b5d1733707f92c7473f12cbb3d8b4bda9b87..f455579dd5ab2a57c756199a5ef1f55476ef869b 100755 (executable)
--- a/configure
+++ b/configure
@@ -14,7 +14,7 @@ ac_default_prefix=/usr/local
 ac_help="$ac_help
   --enable-help-doc       build HTML documentation [default=yes]"
 ac_help="$ac_help
-  --enable-ps-doc         build PostScript documentation [default=no]"
+  --enable-ps-doc         build PostScript documentation [default=yes]"
 ac_help="$ac_help
   --enable-maintainer-mode enable make rules and dependencies not useful
                           (and sometimes confusing) to the casual installer"
@@ -553,7 +553,7 @@ if test "${enable_ps_doc+set}" = set; then
   enableval="$enable_ps_doc"
   :
 else
-  enable_ps_doc=no
+  enable_ps_doc=yes
 fi
 
 
@@ -2855,11 +2855,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