summaryrefslogtreecommitdiff
path: root/Build/source/configure
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2013-10-08 11:57:06 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2013-10-08 11:57:06 +0000
commitad8c0db83542b88b7a3d63af382ccc630df38d03 (patch)
tree94cab0aa0745c5c847fae3c591294c8061279a8e /Build/source/configure
parent43d88ee8d9d0c4aa44fbdf095ce88975cf8bb6a5 (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-xBuild/source/configure3
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