summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDamien George <damien.p.george@gmail.com>2018-12-11 02:55:22 +1100
committerDamien George <damien.p.george@gmail.com>2018-12-11 02:55:22 +1100
commitbeeeec292b2da48299d51c15039c0cc802fd7394 (patch)
tree46eb8de5cbfd4c8d216a3fd58ff5d32bd854f6df
parent025d419a779a7c53c80a0652a9d6c2fc232cc57f (diff)
docs/README: Remove references to MICROPY_PORT when building docs.
The docs are now built as one for all ports.
-rw-r--r--docs/README.md8
1 files changed, 3 insertions, 5 deletions
diff --git a/docs/README.md b/docs/README.md
index faf386710..d524f4b67 100644
--- a/docs/README.md
+++ b/docs/README.md
@@ -21,18 +21,16 @@ preferably in a virtualenv:
In `micropython/docs`, build the docs:
- make MICROPY_PORT=<port_name> html
+ make html
-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`.
+You'll find the index page at `micropython/docs/build/html/index.html`.
PDF manual generation
---------------------
This can be achieved with:
- make MICROPY_PORT=<port_name> latexpdf
+ make latexpdf
but require rather complete install of LaTeX with various extensions. On
Debian/Ubuntu, try (500MB+ download):