diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-03-20 07:23:18 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-03-20 07:23:18 +0000 |
commit | 200cfaafaed3d870382579503f73a3838b427d51 (patch) | |
tree | 19c58032bebb5c88a85c4d361a8f7e32a47d1204 /Build/source/libs/dummy/README | |
parent | 008569ac3af17c78b8af1bdc65ae55059c7c4579 (diff) |
new build system
git-svn-id: svn://tug.org/texlive/trunk@12442 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs/dummy/README')
-rw-r--r-- | Build/source/libs/dummy/README | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/libs/dummy/README b/Build/source/libs/dummy/README new file mode 100644 index 00000000000..fe16d6f99e1 --- /dev/null +++ b/Build/source/libs/dummy/README @@ -0,0 +1,5 @@ +This directory libs/dummy does not build or install anything. Its purpose +is to record the command line used to invoke libs/dummy/configure from +libs/configure. This information is then used by libs/Makefile to invoke +libs/*/configure in the remaining subdirectories without the need to adjust +any absolute or relative paths. |