3 files changed, 3 insertions, 3 deletions

diff --git a/configure b/configure
index 03c5102e..656b447a 100755
--- a/configure
+++ b/configure
@@ -20421,7 +20421,7 @@ fi
 done
 
 if test -n "$LATEX"; then \
-    axiom_src_all="$axiom_src_all all-book"
+   :
 else
     { echo "$as_me:$LINENO: Documentation is disabled." >&5
 echo "$as_me: Documentation is disabled." >&6;}
diff --git a/configure.ac b/configure.ac
index 25961dd3..6c9b447c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -102,7 +102,7 @@ AC_CHECK_PROG([AR], [ar], [ar], [AC_MSG_ERROR([program 'ar' is missing])])
 AC_PATH_PROG([LATEX], [latex])
 AC_CHECK_PROGS([MAKEINDEX], [makeindex])
 if test -n "$LATEX"; then \
-    axiom_src_all="$axiom_src_all all-book"
+   :
 else
     AC_MSG_NOTICE([Documentation is disabled.])
 fi
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet
index c422b8a1..f50a3c31 100644
--- a/configure.ac.pamphlet
+++ b/configure.ac.pamphlet
@@ -703,7 +703,7 @@ this works right when one follows the installation instructions.
 AC_PATH_PROG([LATEX], [latex])
 AC_CHECK_PROGS([MAKEINDEX], [makeindex])
 if test -n "$LATEX"; then \
-    axiom_src_all="$axiom_src_all all-book"
+   :
 else
     AC_MSG_NOTICE([Documentation is disabled.])
 fi