Increment the index version for Docker users

diff --git a/docker/docker-prepare.sh b/docker/docker-prepare.sh
index af2bfe2a74cd534a20221c3e6e03ac704ad98d41..b088cef4055111f013fec195281947454e4a21a4 100755 (executable)
--- a/docker/docker-prepare.sh
+++ b/docker/docker-prepare.sh
@@ -80,7 +80,7 @@ django_checks() {
 
 search_index() {
 
-       local -r index_version=2
+       local -r index_version=3
        local -r index_version_file=${DATA_DIR}/.index_version
 
        if [[ (! -f "${index_version_file}") || $(<"${index_version_file}") != "$index_version" ]]; then