diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-02-11 12:13:19 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-02-11 12:13:19 +0000 |
commit | 7ee431f2d34f9d212012fcb9706b6122ee3526f9 (patch) | |
tree | eb637fbb8484c889b590eef7dceac444449b69f9 /Build/source/texk/dvipdfmx/configure | |
parent | 15c71ef9e3a88afd9bda49ec3c0218b8eea7c524 (diff) |
dvipdfm(x) manual pages
git-svn-id: svn://tug.org/texlive/trunk@21369 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvipdfmx/configure')
-rwxr-xr-x | Build/source/texk/dvipdfmx/configure | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/dvipdfmx/configure b/Build/source/texk/dvipdfmx/configure index 536133af119..a93cf2bde45 100755 --- a/Build/source/texk/dvipdfmx/configure +++ b/Build/source/texk/dvipdfmx/configure @@ -15437,7 +15437,7 @@ else fi -ac_config_files="$ac_config_files Makefile data/Makefile src/Makefile" +ac_config_files="$ac_config_files Makefile data/Makefile man/Makefile src/Makefile" cat >confcache <<\_ACEOF @@ -16463,6 +16463,7 @@ do "config.h") CONFIG_HEADERS="$CONFIG_HEADERS config.h" ;; "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;; "data/Makefile") CONFIG_FILES="$CONFIG_FILES data/Makefile" ;; + "man/Makefile") CONFIG_FILES="$CONFIG_FILES man/Makefile" ;; "src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;; *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;; |