diff options
-rwxr-xr-x | bin/check_index | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/check_index b/bin/check_index index 61db50d..77bdb02 100755 --- a/bin/check_index +++ b/bin/check_index @@ -13,8 +13,8 @@ if ! git diff --quiet ; then exit 2 fi -cd "$TOPLEVEL/proposals" -./reindex.py +cd "$TOPLEVEL/" +./bin/reindex.py if ! git diff --quiet ; then echo "Proposal index is not up-to-date. Run ./reindex.py to regenerate it." >&2 |