From 5d3c517bfbca1bf3bf93111dd7e9969d5aa8e486 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 27 Dec 2007 18:28:50 +0000 Subject: Remove src/booklets --- configure | 4 ---- 1 file changed, 4 deletions(-) (limited to 'configure') 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" ;; -- cgit v1.2.3