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.
2021-12-19 12:22:07 +00:00
|
|
|
# -*- shell-script -*- :mode=shellscript:
|
|
|
|
|
|
|
|
ISABELLE_DOF_HOME="$COMPONENT"
|
2022-03-26 21:17:01 +00:00
|
|
|
ISABELLE_DOCS="$ISABELLE_DOF_HOME/doc":"$ISABELLE_DOCS"
|
|
|
|
|