From d2140381d54e829f23084e1e25c300328f1005f6 Mon Sep 17 00:00:00 2001
From: adamdunkels <adamdunkels>
Date: Thu, 29 Nov 2007 01:12:58 +0000
Subject: [PATCH] Use $(MAKE) instead of explicit make command

---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index 78636a66a..af3dfb85c 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -4,7 +4,7 @@ dox:
 
 
 pdf:
-	gmake -C latex refman.pdf
+	$(MAKE) -C latex refman.pdf
 
 upload: dox  #pdf
 #	scp -C latex/refman.pdf adamdunkels@shell.sourceforge.net:/home/groups/c/co/contiki/htdocs/