cut-n-paste/synctex/update-synctex-from-TL.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#!/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_version.txt synctex_parser.c  synctex_parser.h  synctex_parser_local.h  synctex_parser_utils.c  synctex_parser_utils.h"

  echo "Obtaining latest version of the sources"
  for FILE in $FILES 
  do
    svn export $SVN_URI/$FILE
  done