make-doc.sh

   1 #!/bin/sh
   2
   3 WORK_DIR=/usr/local/src/Work/ctsim
   4
   5 pushd ${WORK_DIR} > /dev/null
   6 cd doc
   7 make all
   8 cd ..
   9 mv doc/html.tar.gz docs
  10 mv doc/ctsim.htb docs
  11 mv doc/ctsim.pdf docs
  12 make clean
  13 popd > /dev/null