13478 |
|
fi |
13479 |
|
|
13480 |
|
|
13481 |
< |
ac_config_files="$ac_config_files Makefile src/Makefile" |
13481 |
> |
ac_config_files="$ac_config_files Makefile doc/Makefile src/Makefile" |
13482 |
|
|
13483 |
|
cat >confcache <<\_ACEOF |
13484 |
|
# This file is a shell script that caches the results of configure |
14494 |
|
"depfiles") CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;; |
14495 |
|
"libtool") CONFIG_COMMANDS="$CONFIG_COMMANDS libtool" ;; |
14496 |
|
"Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;; |
14497 |
+ |
"doc/Makefile") CONFIG_FILES="$CONFIG_FILES doc/Makefile" ;; |
14498 |
|
"src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;; |
14499 |
|
|
14500 |
|
*) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;; |