1#!/bin/bash 2 3WHICH_DOXYGEN=$(which doxygen) 4if [ $? == 0 ] ; then 5 doxygen 6fi 7 8cp doxygen.css html