Makefile: remove a line that's not needed anymore

dcc11c35 · Denis Bilenko · 98beba93 · dcc11c35
Commit dcc11c35 authored Jul 15, 2010 by Denis Bilenko
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletion

doc/Makefile doc/Makefile +0 -1

No files found.
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -34,7 +34,6 @@ html:
 	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
 	@echo
 	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
-	rm -f _build/html/_static/jquery.js

 text:
 	$(SPHINXBUILD) -b text $(ALLSPHINXOPTS) $(BUILDDIR)/text