From d0d49caa72294a0df280af4a721b6764eb40d0ab Mon Sep 17 00:00:00 2001 From: John Cupitt Date: Mon, 5 Jan 2015 13:37:56 +0000 Subject: [PATCH] oops, deleted bits of doc/ref by mistake --- bootstrap.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/bootstrap.sh b/bootstrap.sh index cc709a9e..fb677233 100755 --- 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 \