diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-12-19 11:06:18 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-12-19 11:06:18 +0000 |
commit | f4a44885a367794f0ed41c0dd446df7b40a174d8 (patch) | |
tree | ff5f6f65c92699d23eea5a9c8578847ece736556 /Build/source/doc/texlive.pdf | |
parent | dac42fa45e686717a350e950f3a68ad1cc5eec83 (diff) |
Add a configure option to skip the linked scripts and still run texlinks
git-svn-id: svn://tug.org/texlive/trunk@32449 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/doc/texlive.pdf')
-rw-r--r-- | Build/source/doc/texlive.pdf | bin | 258287 -> 258444 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Build/source/doc/texlive.pdf b/Build/source/doc/texlive.pdf Binary files differindex 6be48c18711..25ab8cb64a9 100644 --- a/Build/source/doc/texlive.pdf +++ b/Build/source/doc/texlive.pdf |