diff options
Diffstat (limited to 'Build/source/texk/web2c/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog index 8c881bad146..4450996b77f 100644 --- a/Build/source/texk/web2c/ChangeLog +++ b/Build/source/texk/web2c/ChangeLog @@ -1,3 +1,8 @@ +2010-04-14 Peter Breitenlohner <peb@mppmu.mpg.de> + + * Makefile.am (sub_dirs): New variable, such that ptexdir/lib/ + for the pTeX programs is (re-)built early. + 2010-04-13 Peter Breitenlohner <peb@mppmu.mpg.de> * triptrap-sh [pTeX]: Generate ptrip.diffs. |