diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-04-16 12:06:54 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-04-16 12:06:54 +0000 |
commit | 017d7edcd26d81f68ed094c2ecfaaec9dbe584ab (patch) | |
tree | 5529dad4190b7f83660cd5a6da6cd74ea25b23f5 /Build/source/texk/web2c/luatexdir/ptexlib.h | |
parent | de213e63ed71445ac929103b9b15d8c79fdc1f63 (diff) |
synctex: small bug fix
luaTeX: drop private copies of synctex files
git-svn-id: svn://tug.org/texlive/trunk@22094 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/ptexlib.h')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/ptexlib.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/luatexdir/ptexlib.h b/Build/source/texk/web2c/luatexdir/ptexlib.h index 236b270cd5e..e6fa7920e12 100644 --- a/Build/source/texk/web2c/luatexdir/ptexlib.h +++ b/Build/source/texk/web2c/luatexdir/ptexlib.h @@ -167,7 +167,7 @@ size_t T##_limit # include "pdf/pdftypes.h" /* synctex */ -# include "utils/synctex.h" +# include "synctex.h" # include "utils/avlstuff.h" # include "utils/managed-sa.h" |