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

ISABELLE_LIPICS_HOME="$COMPONENT/authors"
