Remove src/booklets

1 files changed, 0 insertions, 4 deletions

diff --git a/configure b/configure
index bf6f64a4..03c5102e 100755
--- a/configure
+++ b/configure
@@ -20422,9 +20422,6 @@ done
 
 if test -n "$LATEX"; then \
     axiom_src_all="$axiom_src_all all-book"
-    axiom_src_subdirs="$axiom_src_subdirs booklets"
-    ac_config_files="$ac_config_files src/booklets/Makefile:config/var-def.mk:src/booklets/Makefile.in:config/setup-dep.mk"
-
 else
     { echo "$as_me:$LINENO: Documentation is disabled." >&5
 echo "$as_me: Documentation is disabled." >&6;}
@@ -25361,7 +25358,6 @@ for ac_config_target in $ac_config_targets
 do
   case $ac_config_target in
     "config/axiom-c-macros.h") CONFIG_HEADERS="$CONFIG_HEADERS config/axiom-c-macros.h" ;;
-    "src/booklets/Makefile") CONFIG_FILES="$CONFIG_FILES src/booklets/Makefile:config/var-def.mk:src/booklets/Makefile.in:config/setup-dep.mk" ;;
     "src/clef/Makefile") CONFIG_FILES="$CONFIG_FILES src/clef/Makefile:config/var-def.mk:src/clef/Makefile.in:config/setup-dep.mk" ;;
     "src/sman/Makefile") CONFIG_FILES="$CONFIG_FILES src/sman/Makefile:config/var-def.mk:src/sman/Makefile.in:config/setup-dep.mk" ;;
     "src/graph/Makefile") CONFIG_FILES="$CONFIG_FILES src/graph/Makefile:config/var-def.mk:src/graph/Makefile.in:config/setup-dep.mk" ;;