@sed 's|^\(\s*//\)@|\1|;s|\s*/\*@\*/$$||;s|\(\s*\)\S.*/\*@@\*/|\1unimplemented!()|' $< | sed -f dup-unimpl.sed > $@
docs/%.html: .tmp/docs/%.rs
- @./pycco-rs $<
+ ~/.local/pipx/venvs/pycco/bin/python pycco-rs $<
## Workspace
# The generated files are shipped only for the benefit of Windows users, who
## Offline Usage
You can either read through the sources in `src/`, or generate the
-HTML in `docs/` using `make docs` (this step needs
-[Pycco](https://pycco-docs.github.io/pycco/)).
+HTML in `docs/` using `make docs`. This steps assumes `pipx install pycco` has
+been run before; it will use the pipx-created venv to import pycco.
The files `workspace/src/part*.rs` are generated by `make workspace`.