summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJessica Clarke2020-09-21 03:50:24 +0100
committerJessica Clarke2020-09-21 03:50:24 +0100
commit41e3f0dcb15266aa8423486696fcf3326ff08ae2 (patch)
tree91e85148b55d07fd050ec2bd20f677a8d2a5b355 /src
parent3bbf63a126c48ab9368c0754ff32f1661b184843 (diff)
latex: Handle Ulp, Ol and Olp markdown constructs
Diffstat (limited to 'src')
-rw-r--r--src/latex.ml6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/latex.ml b/src/latex.ml
index d521a108..128d0ec1 100644
--- a/src/latex.ml
+++ b/src/latex.ml
@@ -254,10 +254,14 @@ let latex_of_markdown str =
output_string chan code;
close_out chan;
sprintf "\\lstinputlisting[language=%s]{%s/block%s.%s}" lang !opt_directory uid lang
- | Ul list ->
+ | (Ul list | Ulp list) ->
"\\begin{itemize}\n\\item "
^ Util.string_of_list "\n\\item " format list
^ "\n\\end{itemize}"
+ | (Ol list | Olp list) ->
+ "\\begin{enumerate}\n\\item "
+ ^ Util.string_of_list "\n\\item " format list
+ ^ "\n\\end{enumerate}"
| Br -> "\n"
| NL -> "\n"
| elem -> failwith ("Can't convert to latex: " ^ Omd_backend.sexpr_of_md [elem])