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 | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/cut-n-paste/synctex/update-synctex-from-TL.sh b/cut-n-paste/synctex/update-synctex-from-TL.sh deleted file mode 100755 index 4d8af0e3..00000000 --- a/cut-n-paste/synctex/update-synctex-from-TL.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh -# update-synctex-from-TL.sh -# -# 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.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 - do - svn export $SVN_URI/$FILE - done - - |