From fa343b9549ed103c387dc84fd581c4e69f418077 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 17 Aug 2023 13:39:57 +0200 Subject: [PATCH] use pipx instead of pip to install pycco --- Makefile | 2 +- README.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index c157dac..d8c0e44 100644 --- a/Makefile +++ b/Makefile @@ -16,7 +16,7 @@ docs: $(DOCFILES) @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 diff --git a/README.md b/README.md index be0e4fb..494099f 100644 --- a/README.md +++ b/README.md @@ -11,8 +11,8 @@ The most accessible form of the tutorial is its ## 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`. -- 2.30.2