# unpack
check_jb tar xfz ${SOURCE_DIR}/${PRODUCT}.tar.gz -C ${INST_ROOT}
+# apply general patch for doxygen 1.7.3
+
+if [ -f patches/doxygen-1.7.3.patch ] ; then
+ cp patches/doxygen-1.7.3.patch ${PRODUCT_SRC_DIR}
+ ( cd ${PRODUCT_SRC_DIR}; patch -p1 < doxygen-1.7.3.patch )
+fi
+
# to generate environment scripts
try_preinstalled
}