@@ -38,9 +38,12 @@ $(SOURCES): $(MAIN)
tangle: $(SOURCES)
clean:
clean-emacs:
-rm -v $(SOURCES)
-rm -v $(OBJ_FILES) $(DEP_FILES)
clean-all: bench-clean clean
bench: $(BENCH_TARGETS)
The note is not visible to the blocked user.