From efebd351df27dec3dadd73089e1424b9ef963f71 Mon Sep 17 00:00:00 2001
From: Hannes Schmidt <hannes@ucsc.edu>
Date: Wed, 26 Aug 2015 18:16:18 -0700
Subject: [PATCH] Removed redundant make arg

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index f0ae3ef3b3..c81ea2fbc6 100644
--- a/Makefile
+++ b/Makefile
@@ -105,7 +105,7 @@ pypi_stable: check_clean_working_copy check_running_on_jenkins
 	|| $(python) setup.py egg_info register sdist bdist_egg upload
 
 docs:
-	cd doc && make -f Makefile html
+	cd doc && make html
 
 _docs:
-	cd doc && make -f Makefile clean
+	cd doc && make clean