Fix makefile

hoodmane · hoodmane · commit c83eb65b51bc · 2025-07-21T16:35:26.000+02:00
diff --git a/Makefile.pre.in b/Makefile.pre.in
@@ -1126,7 +1126,7 @@ web_example/python.mjs web_example/python.wasm: $(BUILDPYTHON)
 	cp python.wasm web_example/python.wasm
 
 .PHONY: web_example
-web_example: web_example/python.mjs web_example/index.html web_example/src.mjs web_example/server.py web_example/$(ZIP_STDLIB)
+web_example: web_example/python.mjs web_example/index.html web_example/server.py web_example/$(ZIP_STDLIB)
 
 WEBEX2=web_example_pyrepl_jspi
 WEBEX2_DIR=$(EMSCRIPTEN_DIR)/$(WEBEX2)/
@@ -1152,10 +1152,6 @@ $(WEBEX2)/$(ZIP_STDLIB): $(ZIP_STDLIB)
 	@mkdir -p $(WEBEX2)
 	@cp $< $@
 
-$(WEBEX2)/src.mjs: $(WEBEX2_DIR)/src.mjs
-	@mkdir -p $(WEBEX2)
-	@cp $< $@
-
 .PHONY: web_example_pyrepl_jspi
 web_example_pyrepl_jspi: $(WEBEX2)/python.mjs $(WEBEX2)/index.html $(WEBEX2)/src.mjs $(WEBEX2)/$(ZIP_STDLIB)
 
