Diff of /configure [7408ef] .. [d0e7b1] Maximize Restore

  Switch to unified view

a/configure b/configure
...
...
12799
12799
12800
            ac_config_files="$ac_config_files Makefile"
12800
            ac_config_files="$ac_config_files Makefile"
12801
12801
12802
                                          ac_config_files="$ac_config_files src/Makefile src/win32/Makefile src/paths.h src/man.conf"
12802
                                          ac_config_files="$ac_config_files src/Makefile src/win32/Makefile src/paths.h src/man.conf"
12803
12803
12804
                                ac_config_files="$ac_config_files man/Makefile gencat/Makefile msgs/Makefile"
12804
                                ac_config_files="$ac_config_files man/Makefile msgs/Makefile man2html/Makefile"
12805
12806
            ac_config_files="$ac_config_files man2html/Makefile"
12807
12805
12808
  cat >confcache <<\_ACEOF
12806
  cat >confcache <<\_ACEOF
12809
# This file is a shell script that caches the results of configure
12807
# This file is a shell script that caches the results of configure
12810
# tests run on this system so they can be shared between configure
12808
# tests run on this system so they can be shared between configure
12811
# scripts and configure runs, see configure's option --config-cache.
12809
# scripts and configure runs, see configure's option --config-cache.
...
...
13334
  "src/Makefile" ) CONFIG_FILES="$CONFIG_FILES src/Makefile" ;;
13332
  "src/Makefile" ) CONFIG_FILES="$CONFIG_FILES src/Makefile" ;;
13335
  "src/win32/Makefile" ) CONFIG_FILES="$CONFIG_FILES src/win32/Makefile" ;;
13333
  "src/win32/Makefile" ) CONFIG_FILES="$CONFIG_FILES src/win32/Makefile" ;;
13336
  "src/paths.h" ) CONFIG_FILES="$CONFIG_FILES src/paths.h" ;;
13334
  "src/paths.h" ) CONFIG_FILES="$CONFIG_FILES src/paths.h" ;;
13337
  "src/man.conf" ) CONFIG_FILES="$CONFIG_FILES src/man.conf" ;;
13335
  "src/man.conf" ) CONFIG_FILES="$CONFIG_FILES src/man.conf" ;;
13338
  "man/Makefile" ) CONFIG_FILES="$CONFIG_FILES man/Makefile" ;;
13336
  "man/Makefile" ) CONFIG_FILES="$CONFIG_FILES man/Makefile" ;;
13339
  "gencat/Makefile" ) CONFIG_FILES="$CONFIG_FILES gencat/Makefile" ;;
13340
  "msgs/Makefile" ) CONFIG_FILES="$CONFIG_FILES msgs/Makefile" ;;
13337
  "msgs/Makefile" ) CONFIG_FILES="$CONFIG_FILES msgs/Makefile" ;;
13341
  "man2html/Makefile" ) CONFIG_FILES="$CONFIG_FILES man2html/Makefile" ;;
13338
  "man2html/Makefile" ) CONFIG_FILES="$CONFIG_FILES man2html/Makefile" ;;
13342
  "config.h" ) CONFIG_HEADERS="$CONFIG_HEADERS config.h" ;;
13339
  "config.h" ) CONFIG_HEADERS="$CONFIG_HEADERS config.h" ;;
13343
  *) { { echo "$as_me:$LINENO: error: invalid argument: $ac_config_target" >&5
13340
  *) { { echo "$as_me:$LINENO: error: invalid argument: $ac_config_target" >&5
13344
echo "$as_me: error: invalid argument: $ac_config_target" >&2;}
13341
echo "$as_me: error: invalid argument: $ac_config_target" >&2;}