]> git.plutz.net Git - shellwiki/blobdiff - parsers/40_indexer.sh
reindex after tree movement, bugfix in search filtering, improved search weighting
[shellwiki] / parsers / 40_indexer.sh
index 7190b0b84f02c6a62f3a91b83f8887b767edac2f..c26584aeb101a34f008b83434446c4a9692273f1 100755 (executable)
@@ -16,7 +16,9 @@
 
 DOC="${PATH_INFO%/}/" P="$_DATA/pages${DOC}" I="$_DATA/index/"
 
-if [ -f "$P/#index.flag" -a ! "$P/#page.md" -nt "$P/#index.flag" ] || [ ! -d "$P" ]; then
+if [ "$SEARCH_INDEX" != true ] || [ ! -d "$P" ] || \
+   [ -f "$P/#index.flag" -a ! "$P/#page.md" -nt "$P/#index.flag" ]
+then
   cat
   exit 0
 fi