@mkdir -p .tmp/docs
@echo "$< -> $@"
@# sed-fu: remove the "@" from "//@", and remove trailing "/*@*/", replace lines ending in "/*@@*/" by "unimplemented!()".
@mkdir -p .tmp/docs
@echo "$< -> $@"
@# sed-fu: remove the "@" from "//@", and remove trailing "/*@*/", replace lines ending in "/*@@*/" by "unimplemented!()".