This repository has been archived on 2024-04-22. You can view files and clone it, but cannot push or open issues or pull requests.
|
# -*- shell-script -*- :mode=shellscript:
|
|
|
|
ISABELLE_DOF_HOME="$COMPONENT"
|
|
ISABELLE_DOCS="$ISABELLE_DOF_HOME/doc:$ISABELLE_DOCS"
|