diff options
Diffstat (limited to 'cut-n-paste/synctex/update-synctex-from-TL.sh')
| -rwxr-xr-x | cut-n-paste/synctex/update-synctex-from-TL.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cut-n-paste/synctex/update-synctex-from-TL.sh b/cut-n-paste/synctex/update-synctex-from-TL.sh index ca0e10bf..4d8af0e3 100755 --- a/cut-n-paste/synctex/update-synctex-from-TL.sh +++ b/cut-n-paste/synctex/update-synctex-from-TL.sh @@ -4,10 +4,10 @@ # Get latest synctex parser from TexLive SVN repository. SVN_URI=svn://tug.org/texlive/trunk/Build/source/texk/web2c/synctexdir SCRIPT_NAME=update-synctex-from-TL.sh -FILES="synctex_parser_version.txt synctex_parser.c synctex_parser.h synctex_parser_local.h synctex_parser_utils.c synctex_parser_utils.h" +FILES="synctex_parser.c synctex_parser.h synctex_parser_advanced.h synctex_parser_local.h synctex_parser_readme.md synctex_parser_readme.txt synctex_parser_utils.c synctex_parser_utils.h synctex_parser_version.txt synctex_version.h" echo "Obtaining latest version of the sources" - for FILE in $FILES + for FILE in $FILES do svn export $SVN_URI/$FILE done |