aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/tools/show_latex_messages
diff options
context:
space:
mode:
authorGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2018-06-22 09:06:57 +0200
committerGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2018-06-22 09:06:57 +0200
commitce078ca30d79455cc2a7055f9e989f7b83a5cd56 (patch)
tree1f7cffcd3d08248b63eadaa7f226bf2076dbe898 /doc/tools/show_latex_messages
parent1844f4f31276227d6a4d512f1220e83373ea9498 (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/show_latex_messages')
0 files changed, 0 insertions, 0 deletions