summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
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])