diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-e-rec.ch0')
| -rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex-e-rec.ch0 | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-e-rec.ch0 b/Build/source/texk/web2c/synctexdir/synctex-e-rec.ch0 index 8a240879650..9229ac910ab 100644 --- a/Build/source/texk/web2c/synctexdir/synctex-e-rec.ch0 +++ b/Build/source/texk/web2c/synctexdir/synctex-e-rec.ch0 @@ -1,7 +1,9 @@ -Copyright (c) 2008 jerome DOT laurens AT u-bourgogne DOT fr +Copyright (c) 2008, 2009 jerome DOT laurens AT u-bourgogne DOT fr This file is part of the SyncTeX package. +Latest Revision: Wed Jul 1 11:17:29 UTC 2009 + License: -------- Permission is hereby granted, free of charge, to any person @@ -105,7 +107,7 @@ link(prev_p):=p; @y glue_node: begin r:=get_node(medium_node_size); add_glue_ref(glue_ptr(p)); {{\sl Sync\TeX}: proper size for glue} - @<Copy the glue {\sl Sync\TeX} information@>; + @<Copy the medium sized node {\sl Sync\TeX} information@>; glue_ptr(r):=glue_ptr(p); leader_ptr(r):=null; end; @z |