From b8928bd917dfae0f208daa598f83a4ad562fc9f2 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 21 Mar 2021 11:19:05 +0000
Subject: [PATCH] Makefile: Delete some obsolete commented-out stuff

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/Makefile b/Makefile
index ee0b4926..1e16decc 100644
--- 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)
-- 
2.30.2