@# Also coalesce multiple adjacent such lines to one.
@sed 's|^\(\s*//\)@|\1|;s|\s*/\*@\*/$$||;s|\(\s*\)\S.*/\*@@\*/|\1unimplemented!()|' $< | sed -f dup-unimpl.sed > $@
-docs/%.html: .tmp/docs/%.rs
+docs/%.html: pycco-rs .tmp/docs/%.rs
@./pycco-rs $<
## Workspace
@echo "$< -> $@"
@# sed-fu: remove lines starting with "//@", and replace those ending in "/*@*/" by "unimplemented!()".
@# Also coalesce multiple adjacent such lines to one.
- @sed '/^\s*\/\/@/d;s|\(\s*\)\S.*/\*@\*/|\1unimplemented!()|' $< | sed -f dup-unimpl.sed > $@
+ @sed '/^\s*\/\/@/d;s|\(\s*\)\S.*/\*@@\?\*/|\1unimplemented!()|' $< | sed -f dup-unimpl.sed > $@
workspace/src/main.rs:
# Don't touch this file