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

diff --git a/configure.in b/configure.in
index a2965e14..9849a68e 100644
--- a/configure.in
+++ b/configure.in
@@ -97,8 +97,6 @@ dnl Check for utilities needed by the different kinds of documentation.
 dnl Documantation needs only be built when extending it, so never mind if it
 dnl cannot find those helpers:
 AC_PATH_PROG(DOXYGEN, doxygen, "")
-AC_PATH_PROG(JADE, jade, "")
-AC_PATH_PROG(JADETEX, jadetex, "")
 AC_PATH_PROG(LATEX, latex, "")
 AC_PATH_PROG(MAKEINDEX, makeindex, "")
 AC_PATH_PROG(DVIPS, dvips, "")
@@ -108,12 +106,11 @@ dnl Determine which documentation shall be built
 TUTORIAL_TARGETS=
 REFERENCE_TARGETS=
 if [[ "x$enable_html_doc" = "xyes" ]]; then
-  TUTORIAL_TARGETS="$TUTORIAL_TARGETS index.html"
+  TUTORIAL_TARGETS="$TUTORIAL_TARGETS ginac.html"
   REFERENCE_TARGETS="$REFERENCE_TARGETS index.html"
 fi
 if [[ "x$enable_ps_doc" = "xyes" ]]; then
-# currently doesn't work
-#  TUTORIAL_TARGETS="$TUTORIAL_TARGETS tutorial.ps"
+  TUTORIAL_TARGETS="$TUTORIAL_TARGETS ginac.ps"
   REFERENCE_TARGETS="$REFERENCE_TARGETS reference.ps"
 fi
 AC_SUBST(TUTORIAL_TARGETS)