1 files changed, 0 insertions, 12 deletions

diff --git a/reinstall.sh b/reinstall.sh
deleted file mode 100644
index 5e01471..0000000
--- a/reinstall.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-cd packages/base
-cabal install --force-reinstalls --enable-documentation
-cd ../hmatrix
-cabal install --force-reinstalls --enable-documentation
-cd ../special
-cabal install --force-reinstalls --enable-documentation
-cd ../glpk
-cabal install --force-reinstalls --enable-documentation
-cd ../tests
-cabal install --force-reinstalls --enable-documentation --enable-tests
-cd ../..
-