From e201b64c363a98b9e2ade88ac4140b49e10a87b6 Mon Sep 17 00:00:00 2001 From: Khaled Hosny Date: Thu, 6 Oct 2011 02:16:49 +0200 Subject: Of no much use now --- sync.sh | 9 --------- 1 file changed, 9 deletions(-) delete mode 100755 sync.sh diff --git a/sync.sh b/sync.sh deleted file mode 100755 index e4c2857..0000000 --- a/sync.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash -CTX_TEXFM=$1 -CTX_FILES=`grep -o "loadmodule('....-....lua')" $CTX_TEXFM/tex/generic/context/luatex-fonts.lua |\ - sed -e "s/loadmodule('\(....-....lua\)')/\1/" | sort | uniq` - -echo $CTX_FILES -for i in $CTX_FILES; do - cp -v $CTX_TEXFM/tex/context/base/$i otfl-$i -done -- cgit v1.2.3