diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/open-axiom.m4 | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4 index 478bb9ad..ae73ec67 100644 --- a/config/open-axiom.m4 +++ b/config/open-axiom.m4 @@ -596,8 +596,6 @@ dnl -------------------------- dnl Check for programs we need in the host environment. AC_DEFUN([OPENAXIOM_HOST_PROGS],[ OPENAXIOM_HOST_EDITOR -AC_PATH_PROGS([HOST_AWK],[awk nawk gawk mawk]) - AC_PATH_PROG([PDFLATEX], [pdflatex]) if test -z "$PDFLATEX"; then AC_PATH_PROG([LATEX], [latex], |