From fe6a85533ba08ec7ea3f4cee139e10c76363288a Mon Sep 17 00:00:00 2001 From: Pablo Barciela Date: Sat, 31 Aug 2019 21:52:21 +0200 Subject: remove 'synctex' internally, work with external library instead --- cut-n-paste/synctex/update-synctex-from-TL.sh | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100755 cut-n-paste/synctex/update-synctex-from-TL.sh (limited to 'cut-n-paste/synctex/update-synctex-from-TL.sh') 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 - - -- cgit v1.2.1