summaryrefslogtreecommitdiff
path: root/Build/source/README.2building
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/README.2building')
-rw-r--r--Build/source/README.2building2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/README.2building b/Build/source/README.2building
index cc4795229f0..65549a2d5ac 100644
--- a/Build/source/README.2building
+++ b/Build/source/README.2building
@@ -128,7 +128,7 @@ for debugging purposes.
things are working. There are many 'configure' options you can tweak as
desired; check the output from 'configure --help'.
- Finally, the above retrieves the entire TL source tree (some 500mb).
+ Finally, the above retrieves the entire TL source tree (some 300mb).
It is natural to ask if this is really necessary. Strictly speaking,
the answer is no, but it is vastly more convenient to do so. If you cut
down the source tree, you must also give additional 'configure' flags to