devops: Update documentation. Rename devops:build-status.
authorMatt Birkholz <matt@birchwood-abbey.net>
Wed, 13 Sep 2017 07:36:32 +0000 (00:36 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Wed, 13 Sep 2017 07:36:32 +0000 (00:36 -0700)
commitbd2fb40871943c1157cd483e7c0ce8120c694d2c
treea2ba32102e422aa498a9a2d308b7b676877eb812
parent593716d7b3879cfea0fe9b119cd946467be3a195
devops: Update documentation.  Rename devops:build-status.
src/devops/build.texi
src/devops/devops.scm