diff options
Diffstat (limited to 'Build/source/README')
| -rw-r--r-- | Build/source/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/README b/Build/source/README index ab3af1e44b2..47a1ff03464 100644 --- a/Build/source/README +++ b/Build/source/README @@ -28,7 +28,7 @@ Prerequisites: - If you modify any .y or .l source files, then Bison and Flex (or maybe equivalents) are needed. The distributed .c and .h files are generated - with bison-2.4.1 and flex-2.5.35. + with bison-2.4.3 and flex-2.5.35. The binaries will be left in ./inst/bin/<stdplatform>. For TeX Live, ignore the other files and directories that end up in ./inst. |