Don't remove some files

Eeems-Org · Aug 24, 2023 · 9ab3a0e · 9ab3a0e
1 parent a1a5af4
commit 9ab3a0e
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/Makefile b/Makefile
@@ -63,18 +63,13 @@ $(DIST): $(VENV)/bin/activate images
 	    $(DIST)/searchindex.js \
 	    $(DIST)/_sources \
 	    $(DIST)/_static/basic.css \
-	    $(DIST)/_static/doctools.js \
-	    $(DIST)/_static/documentation_options.js \
 	    $(DIST)/_static/file.png \
 	    $(DIST)/_static/jquery-3.5.1.js \
-	    $(DIST)/_static/jquery.js \
 	    $(DIST)/_static/language_data.js \
 	    $(DIST)/_static/minus.png \
 	    $(DIST)/_static/plus.png \
-	    $(DIST)/_static/pygments.css \
 	    $(DIST)/_static/searchtools.js \
 	    $(DIST)/_static/underscore-1.13.1.js \
-	    $(DIST)/_static/underscore.js \
 
 prod: $(DIST)