src/Tools/Find_Facts/etc/settings

more options for build_release: support bundled browser_info and Find_Facts database;

# -*- shell-script -*- :mode=shellscript:

FIND_FACTS_HOME="$COMPONENT"
FIND_FACTS_HOME_USER="$ISABELLE_HOME_USER/find_facts"

if [ -d "$FIND_FACTS_HOME/lib/find_facts-isabelle" ]; then
  FIND_FACTS_INDEXES="$FIND_FACTS_HOME/lib/find_facts-isabelle"
else
  FIND_FACTS_INDEXES=""
fi

ISABELLE_TOOLS="$ISABELLE_TOOLS:$FIND_FACTS_HOME/lib/Tools"