diff --git a/dox-sync b/dox-sync
deleted file mode 100755
index 71cb1fe35..000000000
--- a/dox-sync
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/bash
-#Synchonizes Doxygen on master branch with gh-pages branch
-
-git checkout master
-make clean
-make docs
-rm -rf _docs
-mv docs _docs
-git checkout gh-pages
-git rm -rf docs/
-rm -rf docs
-mv _docs docs
-git add docs
-
diff --git a/makefile b/makefile
index fe32db58d..d188242f9 100644
--- a/makefile
+++ b/makefile
@@ -117,8 +117,13 @@ docs: docs/html/index.html
 
 tutorial: tutorial/docs/html/index.html
 
+cleanall: clean cleandocs
+
 clean:
-	$(RM) -r bin/* build/* docs/html/* lib/* tutorial/docs/html/* *~ *# *.tmp
+	$(RM) -r bin/* build/* lib/* tutorial/docs/html/* *~ *# *.tmp
+
+cleandocs:
+	$(RM) -r docs/html/*
 
 # -include build/*.d