diff options
Diffstat (limited to 'Build/source/texk/dummy/README')
-rw-r--r-- | Build/source/texk/dummy/README | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Build/source/texk/dummy/README b/Build/source/texk/dummy/README deleted file mode 100644 index d103a4e9962..00000000000 --- a/Build/source/texk/dummy/README +++ /dev/null @@ -1,8 +0,0 @@ -Copyright (C) 2009 Peter Breitenlohner <tex-live@tug.org> -You may freely use, modify and/or distribute this file. - -This directory texk/dummy does not build or install anything. Its purpose -is to record the command line used to invoke texk/dummy/configure from -texk/configure. This information is then used by texk/Makefile to invoke -texk/*/configure in the remaining subdirectories without the need to adjust -any absolute or relative paths. |