diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-22 09:06:57 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-22 09:06:57 +0200 |
| commit | ce078ca30d79455cc2a7055f9e989f7b83a5cd56 (patch) | |
| tree | 1f7cffcd3d08248b63eadaa7f226bf2076dbe898 /doc/tools/coqrst | |
| parent | 1844f4f31276227d6a4d512f1220e83373ea9498 (diff) | |
Improve doc/README.md.
- Fix the Markdown.
- Add link to latest build of the refman for the master branch.
- Clarify what are the dependencies of the HTML doc.
[ci skip]
Diffstat (limited to 'doc/tools/coqrst')
0 files changed, 0 insertions, 0 deletions