From 06f956888d9ccedc80bad7f50c91676675cbbe33 Mon Sep 17 00:00:00 2001
From: Urbain Vaes <urbain@vaes.uk>
Date: Fri, 3 Jun 2016 11:35:44 +0100
Subject: Update videotex

---
 bin/bin/videotex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3