diff options
| author | Daniel Campora <daniel@wipy.io> | 2015-05-27 13:59:59 +0200 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-06-04 23:44:35 +0100 |
| commit | 7ca1bd314bd5e3146f8c868f91af54d17dd04d45 (patch) | |
| tree | c30c7ccb9a8437a9e69f2716f196b87f27beca5d /docs/readthedocs/settings | |
| parent | 031278f661e5d285c56359e355a96161bf6e1a9f (diff) | |
| download | micropython-7ca1bd314bd5e3146f8c868f91af54d17dd04d45.tar.gz micropython-7ca1bd314bd5e3146f8c868f91af54d17dd04d45.zip | |
docs: Generate a separate docs build for each port.
Using Damien's approach where conf.py and topindex.html are
shared by all ports.
Diffstat (limited to 'docs/readthedocs/settings')
0 files changed, 0 insertions, 0 deletions