From 8bd1d46961b41cc643810fc028c4127279463c36 Mon Sep 17 00:00:00 2001 From: Alex Richardson Date: Mon, 28 Sep 2020 12:01:04 +0100 Subject: Handle sectioning commands in saildoc LaTeX output --- src/latex.ml | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src') diff --git a/src/latex.ml b/src/latex.ml index 6d479a52..3804d07b 100644 --- a/src/latex.ml +++ b/src/latex.ml @@ -266,6 +266,10 @@ let latex_of_markdown str = "\\begin{enumerate}\n\\item " ^ Util.string_of_list "\n\\item " format list ^ "\n\\end{enumerate}" + | H1 header -> "\\section*{" ^ (format header) ^ "}\n" + | H2 header -> "\\subsection*{" ^ (format header) ^ "}\n" + | H3 header -> "\\subsubsection*{" ^ (format header) ^ "}\n" + | H4 header -> "\\paragraph*{" ^ (format header) ^ "}\n" | Br -> "\n" | NL -> "\n" | elem -> failwith ("Can't convert to latex: " ^ Omd_backend.sexpr_of_md [elem]) -- cgit v1.2.3 From 263ffca94d22e1ff7ce32d8f6ba782b0fcacd0d7 Mon Sep 17 00:00:00 2001 From: Alex Richardson Date: Mon, 28 Sep 2020 12:03:26 +0100 Subject: LaTeX: Add newline after itemize and enumerate environments --- src/latex.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/latex.ml b/src/latex.ml index 3804d07b..381fc649 100644 --- a/src/latex.ml +++ b/src/latex.ml @@ -261,11 +261,11 @@ let latex_of_markdown str = | (Ul list | Ulp list) -> "\\begin{itemize}\n\\item " ^ Util.string_of_list "\n\\item " format list - ^ "\n\\end{itemize}" + ^ "\n\\end{itemize}\n" | (Ol list | Olp list) -> "\\begin{enumerate}\n\\item " ^ Util.string_of_list "\n\\item " format list - ^ "\n\\end{enumerate}" + ^ "\n\\end{enumerate}\n" | H1 header -> "\\section*{" ^ (format header) ^ "}\n" | H2 header -> "\\subsection*{" ^ (format header) ^ "}\n" | H3 header -> "\\subsubsection*{" ^ (format header) ^ "}\n" -- cgit v1.2.3