diff options
Diffstat (limited to 'aux/workflow/assert-readme.sh')
| -rwxr-xr-x | aux/workflow/assert-readme.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/aux/workflow/assert-readme.sh b/aux/workflow/assert-readme.sh index 47f7e25..2f63ded 100755 --- a/aux/workflow/assert-readme.sh +++ b/aux/workflow/assert-readme.sh @@ -9,6 +9,18 @@ MAILING_LIST="$2" EXPECTED="$(mktemp)" cat <<EOF >> "$EXPECTED" +For running the extra development-only checks, run: + +\`\`\`shell +$ make dev-check +\`\`\` + +and for generating the documentation HTML and website, run: + +\`\`\`shell +$ make public +\`\`\` + # Links |