Undid elimination of docs directory from the HTML build.

cseberino · Jul 31, 2018 · 46b19ad · 46b19ad
1 parent 703bfb8
commit 46b19ad
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -6,8 +6,6 @@ all:
 html:
 	mkdir -p build
 	sphinx-build -M html  "." "build"
-	mv build/html/docs/* build/html/
-	rmdir build/html/docs
 
 latex:
 	mkdir -p build