Makefile: Delete some obsolete commented-out stuff

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/Makefile b/Makefile
index ee0b4926bd2d4dd81c0ca63ff92ba1ad140ecfd7..1e16decc9c90bc80412598aed4e9a8c7385c3d65 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -270,15 +270,6 @@ templates/%.js: tsc-wrap tsconfig.json
        ./tsc-wrap $@ tsconfig.json $(filter %.ts,$^)
 
 templates/script.js: $(TS_SRC_FILES)
-#templates/bigfloat-tests.js: templates/bigfloat.ts \
-#      templates/bigfloat-tests.ts templates/bigfloat-tests-auto.ts
-
-#templates/bigfloat-tests-auto.ts: extract-bf-tests src/bigfloat.rs
-#      ./$^ >$@.tmp && mv -f $@.tmp $@
-
-#js-check: templates/bigfloat-tests.js
-#      nodejs <$<
-#      @echo 'nodejs check $< ok'
 
 templates/otter_wasm.ns.d.ts: $(WASM_PACKED)/otter_wasm.d.ts \
                                stamp/wasm-bindgen $(MAKEFILE_DEP)