diff options
Diffstat (limited to 'Build/source/ChangeLog')
-rw-r--r-- | Build/source/ChangeLog | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/ChangeLog b/Build/source/ChangeLog index 71e9df79448..be5419b2682 100644 --- a/Build/source/ChangeLog +++ b/Build/source/ChangeLog @@ -1,4 +1,8 @@ -2008-02-21 Peter Breitenlohner <peb@mppmu.mpg.de> +2009-05-22 Peter Breitenlohner <peb@mppmu.mpg.de> + + * Makefile.am (world): serialize to avoid parallel build problems. + +2009-05-21 Peter Breitenlohner <peb@mppmu.mpg.de> * Build (TL_CONF_MAC_FONTS, TL_CONF_XINDY): removed, no longer required. |