Age | Commit message (Expand) | Author |
---|---|---|
2021-04-06 | Quick build: checkout a branch instead of a fixed tag | |
2021-04-06 | manuals: Spellcheck and capitalization fixes | |
2021-03-23 | Update documentation URL | |
2021-03-23 | Do not assume working from $HOME | |
2020-12-24 | documentation: Use https links where possible | |
2020-12-09 | ref-manual: remove 'ref' from filenames | |
2020-12-09 | overview-manual: remove 'overview-manual' from filenames | |
2020-12-09 | dev-manual: remove 'dev-manual' from filenames | |
2020-12-09 | sphinx: use absolute paths for :doc: references | |
2020-12-09 | sphinx: rename top level document in each manual |