post_install() {
  echo serve dcrdocs: darkhttpd /srv/http/dcrdocs --port 54321
}