update-synctex-from-TL.sh

   1 #!/bin/sh
   2 # update-synctex-from-TL.sh
   3 #
   4 # Get latest synctex parser from TexLive SVN repository.
   5 SVN_URI=svn://tug.org/texlive/trunk/Build/source/texk/web2c/synctexdir
   6 SCRIPT_NAME=update-synctex-from-TL.sh
   7 FILES="synctex_parser_version.txt synctex_parser.c  synctex_parser.h  synctex_parser_local.h  synctex_parser_utils.c  synctex_parser_utils.h"
   8
   9   echo "Obtaining latest version of the sources"
  10   for FILE in $FILES
  11   do
  12     svn export $SVN_URI/$FILE
  13   done
  14