projects
/
rust-101.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
8eb0793
)
use pipx instead of pip to install pycco
author
Ralf Jung
<post@ralfj.de>
Thu, 17 Aug 2023 11:39:57 +0000
(13:39 +0200)
committer
Ralf Jung
<post@ralfj.de>
Thu, 17 Aug 2023 11:39:57 +0000
(13:39 +0200)
Makefile
patch
|
blob
|
history
README.md
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index c157dacd438510f9ca826f9cf0815e93f1b4b584..d8c0e443d6c5101db95df06a6d49046864d8daf0 100644
(file)
--- 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
@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
## Workspace
# The generated files are shipped only for the benefit of Windows users, who
diff --git
a/README.md
b/README.md
index be0e4fb9d79875e94954084d6fef2916830b6f42..494099fd94eebaee3c068601dd48b63d147d9664 100644
(file)
--- 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
## Offline Usage
You can either read through the sources in `src/`, or generate the
-HTML in `docs/` using `make docs`
(this step need
s
-
[Pycco](https://pycco-docs.github.io/pycco/))
.
+HTML in `docs/` using `make docs`
. This steps assumes `pipx install pycco` ha
s
+
been run before; it will use the pipx-created venv to import pycco
.
The files `workspace/src/part*.rs` are generated by `make workspace`.
The files `workspace/src/part*.rs` are generated by `make workspace`.