aboutsummaryrefslogtreecommitdiff
path: root/docs/templates
AgeCommit message (Collapse)Author
2017-07-03docs/pyboard: Move info about using Windows from topindex to general.Damien George
2017-07-02docs/pyboard: Move hardware info into General Info chapter.Paul Sokolovsky
This makes top-level ToC of the pyboard docs consistent with other ports (consisting of 3 chapters: QuickRef, General Info, and Tutorial). Also, some other minor tweaks applied, like local ToC for General Info and headings mentioning pyboard.
2017-07-02docs/replace.inc: Add |see_cpython|, to xref individual symbols from CPython.Paul Sokolovsky
The idea is to use it for each symbol in builtins.rst.
2017-07-02docs/library: Add CPython docs xref to each pertinent module.Paul Sokolovsky
Cross-reference text/link is implemented as RST substitution, so easy to consistently.
2017-07-02docs/conf.py: Add file for global replacements definition.Paul Sokolovsky
The idea is to allow to define a kind of "macros" for repeatitive text, so all occurrances can be updated in one place. Unfortunately, RST doesn't support replacements with arguments, which limits usefulness of them and should be taken into account.
2017-07-02docs/topindex.html: Fix typo in "Glossary" heading.Damien George
2017-07-02docs: Add glossary.Paul Sokolovsky
We have enough terms or references throughout the docs which may be not immediately clear or have some important nuances. Referencing terms in gloassary is the best way to deal with that.
2017-07-01docs: Move topindex.html to templates/ subdir.Damien George
Later versions of jinja2 need it to be in this subdir, and earlier versions work with it here as well.
2016-06-06docs: Add link to PDF version of docs in sidebar.Damien George
Requires a link of the form: <BASEURL>/<lang>/<ver>/micropython-<port>.pdf
2016-04-28docs: Make the short port names in the port/version sidebar lowercase.Damien George
To make it neater and simpler.
2016-03-09docs: Add versions.html template and support code for a version sidebar.Damien George
2015-06-27docs: Make index link point to "index.html" irrespective of port.Damien George
2014-12-21docs: Add custom CSS file, with code for admonition.Damien George