diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/ptexdir/ChangeLog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ChangeLog b/Build/source/texk/web2c/ptexdir/ChangeLog index d9053aa8473..588ea2908ce 100644 --- a/Build/source/texk/web2c/ptexdir/ChangeLog +++ b/Build/source/texk/web2c/ptexdir/ChangeLog @@ -8,6 +8,8 @@ * pbibtex.ch: Correct handling of buffer_overflow. From Akira. * ptex.defines (inputline3): Removed. + * am/ptex.am: No synctex. No reason to create ptexdir/lib/. + 2010-04-21 Peter Breitenlohner <peb@mppmu.mpg.de> * pdvitype.test, ppltotf.test, ptftopl.test (new): Shell scripts |