diff options
| author | Clément Pit-Claudel | 2018-05-16 20:11:22 -0400 |
|---|---|---|
| committer | Théo Zimmermann | 2018-09-20 10:12:55 +0200 |
| commit | 33fbebc97e9bc399511661bfecc54d92f6ad9a8a (patch) | |
| tree | 8cd85f3c63f88ac5793c6ca03b031a282bd61f8a /doc/sphinx/README.rst | |
| parent | ddc4391be1214ea4d929ba0a8737be4eda6b87ad (diff) | |
[doc] Move the LaTeX preamble to a separate .tex file
Diffstat (limited to 'doc/sphinx/README.rst')
| -rw-r--r-- | doc/sphinx/README.rst | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/doc/sphinx/README.rst b/doc/sphinx/README.rst index 983f4e665f..ab4648d577 100644 --- a/doc/sphinx/README.rst +++ b/doc/sphinx/README.rst @@ -274,14 +274,12 @@ In addition to the objects above, the ``coqrst`` Sphinx plugin defines the follo ----------------------------- \WTEG{\forall~x:T,U}{\Prop} -``.. preamble::`` A reST directive for hidden math. - Mostly useful to let MathJax know about `\def`\ s and `\newcommand`\ s. +``.. preamble::`` A reST directive to include a TeX file. + Mostly useful to let MathJax know about `\def`s and `\newcommand`s. - Example:: - - .. preamble:: + Usage:: - \newcommand{\paren}[#1]{\left(#1\right)} + .. preamble:: preamble.tex Coq roles ========= |