Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Bug fix: ensure creation of doc directory before creating CONTENTS.

This commit is contained in:
Achim D. Brucker 2019-08-17 10:14:28 +01:00
parent 679408cfed
commit 1330308091
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.ci/mk_release
View File

@ -94,10 +94,10 @@ build_and_install_manuals()
(cd $ISADOF_WORK_DIR && ./install)
mkdir -p $ISADOF_WORK_DIR/doc
echo "Isabelle/DOF Manuals!" > $ISADOF_WORK_DIR/doc/Contents
(cd $ISADOF_WORK_DIR && $ISABELLE build -c Isabelle_DOF-Manual)
mkdir -p $ISADOF_WORK_DIR/doc
cp $ISADOF_WORK_DIR/examples/technical_report/Isabelle_DOF-Manual/output/document.pdf \
$ISADOF_WORK_DIR/doc/Isabelle_DOF-Manual.pdf
echo " Isabelle_DOF-Manual User and Implementation Manual for Isabelle/DOF" >> $ISADOF_WORK_DIR/doc/Contents