nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Updated help text.

This commit is contained in:
Achim D. Brucker 2019-08-15 15:52:47 +01:00
parent 60ebbbe12c
commit 6b1864e677
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

@ -34,7 +34,7 @@ print_help()
{
echo "Usage: mk_release [OPTION] "
echo ""
echo " A tool for building $ISADOF_TAR.tar.xz"
echo " A tool for building an Isabelle/DOF release archive."
echo ""
echo "Run ..."
echo ""