diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -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" ;; |