From: Ralf Jung <post@ralfj.de>
Date: Thu, 17 Aug 2023 11:39:57 +0000 (+0200)
Subject: use pipx instead of pip to install pycco
X-Git-Url: https://git.ralfj.de/rust-101.git/commitdiff_plain/fa343b9549ed103c387dc84fd581c4e69f418077?ds=inline;hp=-c

use pipx instead of pip to install pycco
---

fa343b9549ed103c387dc84fd581c4e69f418077
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`.