3 echo "##########################################################################"
4 echo "doxygen" $VERSION
5 echo "##########################################################################"
7 rm -Rf $PRODUCT_INSTALL
11 echo "doxygen compilation"
15 ./configure --prefix $PRODUCT_INSTALL
18 echo "ERROR on configure"
23 echo "*** make" $MAKE_OPTIONS
32 echo "*** make install"
36 echo "ERROR on make install"