Remove index.html from version control

This change also removes the “publish” target from the makefile, and updates “make clean” to cause it to remove the index.html file too.
w3c · Feb 19, 2021 · 6263304 · 6263304
1 parent 01231ec
commit 6263304
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 9,536 deletions.
diff --git a/Makefile b/Makefile
@@ -26,9 +26,6 @@ cookies/index.html: cookies/index.src.html
 pinning/index.html: pinning/index.src.html
 	bikeshed -f spec ./pinning/index.src.html
 
-publish:
-	git push origin master
-
 ci: out/index.html
 
 out/index.html: index.src.html
@@ -47,3 +44,4 @@ out/index.html: index.src.html
 
 clean:
 	$(RM) -r out
+	$(RM) index.html