--- Makefile.in.orig	2010-12-08 00:36:54.000000000 -0500
+++ Makefile.in	2013-03-23 23:26:36.000000000 -0400
@@ -747,7 +747,7 @@
 
 
 dox:
-	cd ${top_srcdir}/doc/doxygen; make
+	cd ${top_srcdir}/doc/doxygen; $(MAKE)
 
 clean-local:
 	-rmdir doc