X-Git-Url: https://git.ralfj.de/rust-101.git/blobdiff_plain/e8e3f9b3dec1e5e8a6ed6c59cfa661df2252f3db..53ea4d72d5db48b56a9cb81397c7302653c74d0b:/Makefile

diff --git a/Makefile b/Makefile
index a213c07..1674606 100644
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,7 @@ workspace: $(WORKSPACEFILES)
 workspace/src/%.rs: src/%.rs Makefile dup-unimpl.sed
 	@mkdir -p .tmp/docs
 	@echo "$< -> $@"
-	@# sed-fu: remove lines starting with "//@", and replace those ending in "/*@*/" by "unimplemented!()".
+	@# sed-fu: remove lines starting with "//@", and replace those ending in "/*@*/" or "/*@@*/" by "unimplemented!()".
 	@# Also coalesce multiple adjacent such lines to one.
 	@sed '/^\s*\/\/@/d;s|\(\s*\)\S.*/\*@@\?\*/|\1unimplemented!()|' $< | sed -f dup-unimpl.sed > $@