oops, deleted bits of doc/ref by mistake

2015-01-05 13:37:56 +00:00 · 2015-01-05 13:37:56 +00:00 · d0d49caa72
parent 3ceec6682f
commit d0d49caa72
1 changed files with 1 additions and 0 deletions
--- a/bootstrap.sh
+++ b/bootstrap.sh
@ -19,6 +19,7 @@ rm -f benchmark/temp*
 	mv reference/Makefile.am poop ; \
 	mv reference/images poop ; \
 	mv reference/*.xml poop ; \
+	mv reference/*.py poop ; \
 	rm -rf reference/* ; \
 	mv poop/* reference ; \
 	rmdir poop \