update docs-tools

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
 

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()