diff --git a/docs/Makefile b/docs/Makefile
index b9f1cf95..b41beb44 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -20,7 +20,7 @@ server:
 	cd build/html && python -m http.server
 
 dev:
-	rm -rf build/html && make html && make server
+	rm -rf build && make html && make server
 
 .PHONY: help Makefile
 
diff --git a/docs/format.py b/docs/format.py
index 7cc341c2..67671ae7 100644
--- a/docs/format.py
+++ b/docs/format.py
@@ -59,7 +59,10 @@ def clear(path='./source/'):
             else:
                 shorten(path + file, to_delete)
     for file in to_delete:
-        os.remove(path + file + ".rst")
+        try:
+            os.remove(path + file + ".rst")
+        except:
+            pass
 
 
 clear()