diff options
Diffstat (limited to 'docs/README.md')
| -rw-r--r-- | docs/README.md | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/README.md b/docs/README.md index c594030999..2602a15225 100644 --- a/docs/README.md +++ b/docs/README.md @@ -26,3 +26,15 @@ In `micropython/docs`, build the docs: Where `<port_name>` can be `unix`, `pyboard`, `wipy` or `esp8266`. You'll find the index page at `micropython/docs/build/<port_name>/html/index.html`. + +PDF manual generation +--------------------- + +This can be achieved with: + + make MICROPY_PORT=<port_name> latexpdf + +but require rather complete install of LaTeX with various extensions. On +Debiab/Ubuntu, try (500MB+ download): + + apt-get install texlive-latex-recommended texlive-latex-extra |