x
c431ed81b2
doc: Add event graph security invariants
|
1 mese fa | |
|---|---|---|
| .. | ||
| src | 1 mese fa | |
| theme | 6 mesi fa | |
| .gitignore | 1 anno fa | |
| Makefile | 7 mesi fa | |
| README.md | 7 mesi fa | |
| book.toml | 6 mesi fa | |
| build_jsonrpc.py | 7 mesi fa | |
| generate_seminar_ics.py | 7 mesi fa | |
| ghp_push.py | 3 anni fa | |
| latex-macros.txt | 7 mesi fa | |
| remove_chapter_nav_js.py | 7 mesi fa | |
| requirements.txt | 1 anno fa | |
README.md
The DarkFi book
This directory contains the sources for the book that can be read on https://dark.fi/book/
When adding or removing a section of the book, make sure to update the SUMMARY.md file to actually list the contents.
Use a python virtual environment to install its requirements:
% python -m venv venv
% source venv/bin/activate
Then install the requirements:
% pip install -r requirements.txt
Using the Makefile to build the sources requires the Rust mdbook
utility which may be installed via:
cargo install mdbook
For the plugin mdbook backends run:
cargo install --git "https://github.com/lzanini/mdbook-katex"
cargo install --git "https://github.com/badboy/mdbook-toc"
cargo install --git "https://github.com/badboy/mdbook-mermaid" mdbook-mermaid
cargo install --git "https://github.com/rustforweb/mdbook-plugins" mdbook-tabs