From 3ba863d314e00a657e322b018c3a41d8971b7df8 Mon Sep 17 00:00:00 2001
From: Harry Fuchs <harry.fuchs@gmx.de>
Date: Mon, 2 Sep 2019 16:39:43 +0200
Subject: [PATCH] update pandoc version

---
 do-install-stuff.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/do-install-stuff.sh b/do-install-stuff.sh
index fb43f24..af66ac9 100755
--- a/do-install-stuff.sh
+++ b/do-install-stuff.sh
@@ -12,12 +12,12 @@ apt-get install --yes python
 apt-get install --yes texlive-full
 
 #pandoc outdated in debian testing
-TGZ=pandoc-2.7.2-linux.tar.gz
+TGZ=pandoc-2.7.3-linux.tar.gz
 DEST=.local
 mkdir $DEST
 export PATH=$PATH:$(pwd)/$DEST/bin
 echo "export PATH=$PATH:$(pwd)/$DEST/bin" > install-path-pandoc
-wget -c "https://github.com/jgm/pandoc/releases/download/2.7.2/$TGZ"
+wget -c "https://github.com/jgm/pandoc/releases/download/2.7.3/$TGZ"
 tar xvzf $TGZ --strip-components 1 -C $DEST
 ls .local
 
-- 
GitLab