Merge "Doctor doc scripts adapted to project needs"

[releng.git] / jjb / doctor / docu-verify.sh

#!/bin/bash
set -e
set -o pipefail

export PATH=$PATH:/usr/local/bin/

make