diff options
Diffstat (limited to 'configure.ac.pamphlet')
| -rw-r--r-- | configure.ac.pamphlet | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index 9da4c06d..104d42af 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -737,13 +737,11 @@ files in a directory named \File{noweb/} at the top level. Normally, this works right when one follows the installation instructions. % <<doc utils>>= -AC_PATH_PROG([LATEX], [latex]) +AC_PATH_PROG([PDFLATEX], [pdflatex], + [AC_PATH_PROG([LATEX], [latex], + [AC_MSG_NOTICE([Documentation is disabled.])])]) + AC_CHECK_PROGS([MAKEINDEX], [makeindex]) -if test -n "$LATEX"; then \ - : -else - AC_MSG_NOTICE([Documentation is disabled.]) -fi ## --------------------------------------- ## Make sure noweb executable is available @@ -1151,7 +1149,7 @@ information: <<Autoconf init>>= sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.4.0-2009-10-08], +AC_INIT([OpenAxiom], [1.4.0-2009-10-10], [open-axiom-bugs@lists.sf.net]) @ |