From 42bb3db8c897c5b3c82fcf1d4e4f71ee0e0d2bef Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 24 May 2018 03:52:06 +0200
Subject: [dune] Add apidoc target using `odoc`

We build the `@doc` target in the `dune` job:

- The documentation can be found in `_build/default/_doc/`
- We had to fix a couple of quoting problems.
---
 lib/genarg.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/genarg.mli b/lib/genarg.mli
index bb85f99e3c..52db3df088 100644
--- a/lib/genarg.mli
+++ b/lib/genarg.mli
@@ -13,7 +13,7 @@
 (** The route of a generic argument, from parsing to evaluation.
 In the following diagram, "object" can be tactic_expr, constr, tactic_arg, etc.
 
-{% \begin{%}verbatim{% }%}
+{% \begin{verbatim} %}
              parsing          in_raw                            out_raw
    char stream ---> raw_object ---> raw_object generic_argument -------+
                           encapsulation                          decaps|
@@ -36,7 +36,7 @@ In the following diagram, "object" can be tactic_expr, constr, tactic_arg, etc.
     |
     V
 effective use
-{% \end{%}verbatim{% }%}
+{% \end{verbatim} %}
 
 To distinguish between the uninterpreted, globalized and
 interpreted worlds, we annotate the type [generic_argument] by a
-- 
cgit v1.2.3