--- libatsdoc/Makefile.orig	2012-09-06 15:39:38.797921223 +0800
+++ libatsdoc/Makefile	2012-09-06 15:40:12.166571629 +0800
@@ -43,7 +43,7 @@
 ######
 
 all:: Makefile_out
-all:: ; make -f Makefile_out
+all:: ; $(MAKE) -f Makefile_out
 all:: cleanall
 
 ######
