Install PDF manual as well.
This commit is contained in:
parent
79317c3f9b
commit
1a87a4dcea
|
@ -121,6 +121,7 @@ create_archive()
|
||||||
(mv $ISADOF_WORK_DIR $ISADOF_DIR)
|
(mv $ISADOF_WORK_DIR $ISADOF_DIR)
|
||||||
(cd $BUILD_DIR && tar cf $ISADOF_TAR.tar $ISADOF_TAR && xz $ISADOF_DIR.tar)
|
(cd $BUILD_DIR && tar cf $ISADOF_TAR.tar $ISADOF_TAR && xz $ISADOF_DIR.tar)
|
||||||
mv $BUILD_DIR/$ISADOF_TAR.tar.xz .
|
mv $BUILD_DIR/$ISADOF_TAR.tar.xz .
|
||||||
|
cp $ISADOF_WORK_DIR/doc/Isabelle_DOF-Manual.pdf $ISADOF_TAR.pdf
|
||||||
rm -rf $BUILD_DIR
|
rm -rf $BUILD_DIR
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -134,7 +135,7 @@ publish_archive()
|
||||||
{
|
{
|
||||||
echo "* Publish archive"
|
echo "* Publish archive"
|
||||||
ssh 0x5f.org mkdir -p www/$DOF_ARTIFACT_HOST/htdocs/$DOF_ARTIFACT_DIR
|
ssh 0x5f.org mkdir -p www/$DOF_ARTIFACT_HOST/htdocs/$DOF_ARTIFACT_DIR
|
||||||
scp $ISADOF_TAR.tar.xz* 0x5f.org:www/$DOF_ARTIFACT_HOST/htdocs/$DOF_ARTIFACT_DIR/
|
scp $ISADOF_TAR.* 0x5f.org:www/$DOF_ARTIFACT_HOST/htdocs/$DOF_ARTIFACT_DIR/
|
||||||
ssh 0x5f.org chmod go+u-w -R www/$DOF_ARTIFACT_HOST/htdocs/$DOF_ARTIFACT_DIR
|
ssh 0x5f.org chmod go+u-w -R www/$DOF_ARTIFACT_HOST/htdocs/$DOF_ARTIFACT_DIR
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue