From 3685b59e8d8e991791ef8efbc68cac44ff4f2946 Mon Sep 17 00:00:00 2001
From: "Jiri (George) Lebl" <jiri.lebl@gmail.com>
Date: Thu, 22 Feb 2018 16:01:56 -0600
Subject: [PATCH] fix tar generation, though probably jsut need to remove it

---
 make-tar.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/make-tar.sh b/make-tar.sh
index f681217..d128225 100755
--- a/make-tar.sh
+++ b/make-tar.sh
@@ -1,9 +1,12 @@
 #!/bin/sh
-FILES=`git ls-files | fgrep -v '.gitignore' | fgrep -v 'make-tar.sh' | grep -v -- '^old/'`
+FILES=`git ls-files | fgrep -v '.gitignore' | fgrep -v 'make-tar.sh' | grep -v -- '^[a-z]*/'`
+FIGUREFILES=`git ls-files | fgrep -v '.gitignore' | fgrep -v 'make-tar.sh' | grep -- '^figures/'`
 
 rm -fR diffyqs
 mkdir diffyqs
+mkdir diffyqs/figures
 cp $FILES diffyqs
+cp $FIGUREFILES diffyqs/figures/
 
 rm -f diffyqs.tar.gz
 tar cvf diffyqs.tar diffyqs/