diff --git a/doc/mk-coverage-htmls b/doc/mk-coverage-htmls --- a/doc/mk-coverage-htmls +++ b/doc/mk-coverage-htmls @@ -1,15 +1,15 @@ #! /usr/bin/env bash RANKFILES=$(echo *.rank) BASECMD='./mk-coverage-html inspire-*.json -r "$RANKFILES" -R' -UPDATE='--update-ranking' +UPDATE= #'--update-ranking' VERB= #"-v" eval "$BASECMD $UPDATE $VERB" if [[ -z "$UPDATE" ]]; then eval "$BASECMD -SI $VERB" eval "$BASECMD -S $VERB" eval "$BASECMD -I $VERB" eval "$BASECMD -s $VERB" eval "$BASECMD -i $VERB" fi