#!/bin/sh

mmake $1 $2 $3
cd /tmp/$1-$2
/usr/bin/patch -p0 <$DEVDIR/$1/Makefile.doxygen.patch
cd -
mmake $1 $2 $3