Hopefully fix Windows.

Makefile

@@ -83,7 +83,9 @@ all: +all README.md
 binaries: all
 tests: all
 	
-README.md: $(OBJ)/scripts/+mkdocindex/mkdocindex$(EXT)
+# No $(EXT) here, even on Windows, as this program isn't exported
+# outside WSL.
+README.md: $(OBJ)/scripts/+mkdocindex/mkdocindex
 	@echo $(PROGRESSINFO)MKDOC $@
 	@csplit -s -f$(OBJ)/README. README.md '/<!-- FORMATSSTART -->/' '%<!-- FORMATSEND -->%'
 	@(cat $(OBJ)/README.00 && $< && cat $(OBJ)/README.01) > README.md

build/ab.py

@@ -500,7 +500,6 @@ def emit_rule(self, ins, outs, cmds=[], label=None):
         globalId = globalId + 1
 
         emit(f"OUTS_{outsn}", "=", *fouts, into=lines)
-        emit(f"$(warning $(OUTS_{outsn}))", into=lines)
         emit(f"INS_{insn}", "=", *fins, into=lines)
         emit(name, ":", f"$(OUTS_{outsn})", into=lines)
         emit(hashfile, ":", into=lines)