diff options
| author | Jessica Clarke | 2020-09-21 03:50:24 +0100 |
|---|---|---|
| committer | Jessica Clarke | 2020-09-21 03:50:24 +0100 |
| commit | 41e3f0dcb15266aa8423486696fcf3326ff08ae2 (patch) | |
| tree | 91e85148b55d07fd050ec2bd20f677a8d2a5b355 /src | |
| parent | 3bbf63a126c48ab9368c0754ff32f1661b184843 (diff) | |
latex: Handle Ulp, Ol and Olp markdown constructs
Diffstat (limited to 'src')
| -rw-r--r-- | src/latex.ml | 6 |
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]) |
