1 files changed, 1 insertions, 1 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;}