Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Print install doc IGNORED if it is necessary.
[simgrid.git] / 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