summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorUrbain Vaes <urbain@vaes.uk>2016-06-03 11:35:44 +0100
committerUrbain Vaes <urbain@vaes.uk>2016-06-03 11:35:44 +0100
commit06f956888d9ccedc80bad7f50c91676675cbbe33 (patch)
tree7f023e886865ac399967ea04995aa0f86d93a0ab
parentda55ba19d86cae6d8bf690cef8881bd3c9a8daa7 (diff)
Update videotex
-rwxr-xr-xbin/bin/videotex2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/bin/videotex b/bin/bin/videotex
index ef16655..ae20305 100755
--- a/bin/bin/videotex
+++ b/bin/bin/videotex
@@ -36,7 +36,7 @@ function getvideo {
grep -n "% INCLUDE_VIDEO " ${texfile} | \
while read video; do
line=${video%%:*}
- video_page=$(synctex view -i ${line}:0:${texfile} -o ${pdffile} | grep "Page:" | sed 's/Page://')
+ video_page=$(synctex view -i ${line}:0:${texfile} -o ${pdffile} | grep "Page:" | sed 's/Page://' | head -1)
if [[ ${video_page} -eq $1 ]]; then
echo ${video} | rev | cut -f1 -d" " | rev
fi