diff options
| author | Pablo Barciela <[email protected]> | 2019-08-31 21:52:21 +0200 |
|---|---|---|
| committer | lukefromdc <[email protected]> | 2019-09-08 21:29:36 +0000 |
| commit | fe6a85533ba08ec7ea3f4cee139e10c76363288a (patch) | |
| tree | 39bb8f0641b5f274b06a9c9daaa934f80fa0f70e /cut-n-paste/synctex/update-synctex-from-TL.sh | |
| parent | edd3661daf0c834881c59531bb52b42351b5afd2 (diff) | |
| download | atril-fe6a85533ba08ec7ea3f4cee139e10c76363288a.tar.bz2 atril-fe6a85533ba08ec7ea3f4cee139e10c76363288a.tar.xz | |
remove 'synctex' internally, work with external library instead
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 - - |