fix tar generation, though probably jsut need to remove it

jirilebl · Feb 22, 2018 · 3685b59 · 3685b59
1 parent 108df8f
commit 3685b59
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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/