forked from Isabelle_DOF/Isabelle_DOF
Register doc directory.
This commit is contained in:
parent
032a9e9278
commit
dfa0e543b6
7
install
7
install
|
@ -235,6 +235,13 @@ install_and_register(){
|
||||||
echo 'ISABELLE_TOOLS=$ISABELLE_TOOLS:$ISABELLE_HOME_USER/DOF/Tools' \
|
echo 'ISABELLE_TOOLS=$ISABELLE_TOOLS:$ISABELLE_HOME_USER/DOF/Tools' \
|
||||||
>> "$DIR/settings"
|
>> "$DIR/settings"
|
||||||
fi
|
fi
|
||||||
|
if [[ $ISABELLE_DOCS = *DOF* ]]; then
|
||||||
|
echo " * Docs already registered in $DIR/settings"
|
||||||
|
else
|
||||||
|
echo " * Registering docs in $DIR/settings"
|
||||||
|
echo "ISABELLE_DOCS=$PWD/doc"':$ISABELLE_DOCS' \
|
||||||
|
>> "$DIR/settings"
|
||||||
|
fi
|
||||||
sed -i -e "s|<isadofurl>|$DOF_URL|" $ISABELLE_HOME_USER/DOF/*/*
|
sed -i -e "s|<isadofurl>|$DOF_URL|" $ISABELLE_HOME_USER/DOF/*/*
|
||||||
LTX_VERSION="$DATE $DOF_VERSION/$ISABELLE_SHORT_VERSION"
|
LTX_VERSION="$DATE $DOF_VERSION/$ISABELLE_SHORT_VERSION"
|
||||||
sed -i -e "s|<isadofltxversion>|$LTX_VERSION|" $ISABELLE_HOME_USER/DOF/*/*
|
sed -i -e "s|<isadofltxversion>|$LTX_VERSION|" $ISABELLE_HOME_USER/DOF/*/*
|
||||||
|
|
Loading…
Reference in New Issue