1 files changed, 0 insertions, 11 deletions
diff --git a/regenerate-curves.sh b/regenerate-curves.sh
deleted file mode 100755
index c57afff63..000000000
--- a/regenerate-curves.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/bash
-
-set -o pipefail
-set -ex
-
-cd "$( dirname "${BASH_SOURCE[0]}" )"
-
-python3 generate_parameters.py primes.txt
-./src/Specific/CurveParameters/remake_curves.sh -f | tee remake_curves.log
-grep 'git add ' remake_curves.log | sed s'/git add //g' | tr '"' '\n' | grep -v '^\s*$' | xargs git add
-make update-_CoqProject