rename make precommit to make dev

This commit is contained in:
John Kerl 2021-11-11 00:02:24 -05:00
parent 9a9b635fb2
commit 0d4fc143ad
8 changed files with 9 additions and 9 deletions

View file

@ -21,7 +21,7 @@ install:
# * turns *.md.in into *.md (live code samples), using mlr from the $PATH
# * note the man/manpage.txt becomes some of the HTML content
# * turns *.md into docs/site HTML and CSS files
precommit:
dev:
make -C go fmt
make -C go build
make -C go check