make.sh 167 B

12345678910
  1. #!/usr/bin/env bash
  2. PARENT="$( dirname -- "$0"; )";
  3. cd "${PARENT}" || exit
  4. #./"${PARENT}"/clean.sh
  5. #./clean.sh
  6. for f in Makefile; do
  7. make -f "$f" html || exit
  8. done