--- doc/Makefile.orig	2012-07-05 16:54:45 UTC
+++ doc/Makefile
@@ -31,7 +31,7 @@ figures:
 
 
 doc:
-	@make pdf
+	@$(MAKE) pdf
 
 
 pdf:
@@ -57,7 +57,7 @@ distclean:
 
 
 install: 
-	@\mv $(TEX)/*.pdf .
+	@\cp $(TEX)/*.pdf .
 
 
 help info aide:
