buildtools/Cmake/src/install_doc.sh.in

   1 #!/bin/bash
   2
   3 if [ -e @prefix@/doc/simgrid/html/index.html ]; then
   4         echo "install doc/html      OK"
   5 else
   6         echo "install doc/html      IGNORED"
   7 fi