From 4a208f2a73ccb6966dc105610f34ced67e17d656 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 18 Aug 2019 14:56:17 +0100 Subject: [PATCH] Fixed manual generation. --- .ci/mk_release | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/.ci/mk_release b/.ci/mk_release index 1f59380..4cc9346 100755 --- a/.ci/mk_release +++ b/.ci/mk_release @@ -93,17 +93,15 @@ build_and_install_manuals() fi (cd $ISADOF_WORK_DIR && ./install) + (cd $ISADOF_WORK_DIR && $ISABELLE build -c -D . ) 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) 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 - (cd $ISADOF_WORK_DIR && $ISABELLE build -c 2018-cicm-isabelle_dof-applications) - mkdir -p $ISADOF_WORK_DIR/doc cp $ISADOF_WORK_DIR/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/output/document.pdf \ $ISADOF_WORK_DIR/doc/2018-cicm-isabelle_dof-applications.pdf echo " 2018-cicm-isabelle_dof-applications Example academic paper" >> $ISADOF_WORK_DIR/doc/Contents @@ -118,10 +116,10 @@ build_and_install_manuals() create_archive() { echo "* Creating archive" + cp $ISADOF_WORK_DIR/doc/Isabelle_DOF-Manual.pdf $ISADOF_TAR.pdf (mv $ISADOF_WORK_DIR $ISADOF_DIR) (cd $BUILD_DIR && tar cf $ISADOF_TAR.tar $ISADOF_TAR && xz $ISADOF_DIR.tar) mv $BUILD_DIR/$ISADOF_TAR.tar.xz . - cp $ISADOF_WORK_DIR/doc/Isabelle_DOF-Manual.pdf $ISADOF_TAR.pdf rm -rf $BUILD_DIR }