diff options
| author | Rami Ali <flowergrass@users.noreply.github.com> | 2017-02-07 16:00:34 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2017-02-20 17:14:35 +1100 |
| commit | 3218ccd70d8f387662987f6c1beb79102288b13d (patch) | |
| tree | 5c8a45fba3e6e235159b87693299cab5c8bd5025 /docs/topindex.html | |
| parent | b7fa63c7ced460fd2d3aceb35257a62ff08831c1 (diff) | |
docs: Modify Makefile and indexes to generate cPy-differences pages.
Diffstat (limited to 'docs/topindex.html')
| -rw-r--r-- | docs/topindex.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/topindex.html b/docs/topindex.html index 75039233e..3cbf21615 100644 --- a/docs/topindex.html +++ b/docs/topindex.html @@ -47,6 +47,10 @@ <span class="linkdescr">MicroPython libraries, including the <a href="{{ pathto("library/machine") }}">machine module</a></span> {% endif %} </p> + <p class="biglink"> + <a class="biglink" href="{{ pathto("genrst/index") }}">Micropython Differences</a><br/> + <span class="linkdescr">MicroPython operations which differ from CPython</span> + </p> </td> <td width="40%" style="padding-left:2em;"> <p class="biglink"> |