diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-10-08 11:57:06 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-10-08 11:57:06 +0000 |
| commit | ad8c0db83542b88b7a3d63af382ccc630df38d03 (patch) | |
| tree | 94cab0aa0745c5c847fae3c591294c8061279a8e /Build/source/configure | |
| parent | 43d88ee8d9d0c4aa44fbdf095ce88975cf8bb6a5 (diff) | |
texlive.info
git-svn-id: svn://tug.org/texlive/trunk@31864 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/configure')
| -rwxr-xr-x | Build/source/configure | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/configure b/Build/source/configure index 8af05266bb4..f4dabdf78f7 100755 --- a/Build/source/configure +++ b/Build/source/configure @@ -21140,7 +21140,7 @@ fi subdirs="$subdirs auxdir/auxsub libs utils texk" -ac_config_files="$ac_config_files Makefile" +ac_config_files="$ac_config_files Makefile doc/Makefile" rm -f Makefile @@ -22280,6 +22280,7 @@ do "depfiles") CONFIG_COMMANDS="$CONFIG_COMMANDS depfiles" ;; "libtool") CONFIG_COMMANDS="$CONFIG_COMMANDS libtool" ;; "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;; + "doc/Makefile") CONFIG_FILES="$CONFIG_FILES doc/Makefile" ;; *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;; esac |