Update makefile so that clean doesn't delete doxygen by default (can …

…instead use cleandocs or cleanall); removed dox-sync, as it is hopefully no longer necessary
Calvin-CS · Jul 24, 2015 · 0a9b5aa · 0a9b5aa
1 parent 47c2317
commit 0a9b5aa
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 15 deletions.
diff --git a/dox-sync b/dox-sync
diff --git 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