LaTeX: Add newline after itemize and enumerate environments

rems-project · Sep 28, 2020 · 263ffca · 263ffca
1 parent 8bd1d46
commit 263ffca
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git 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"

diff --git a/test/latex/candperm.commands.tex.exp b/test/latex/candperm.commands.tex.exp
@@ -51,7 +51,8 @@ An exception is raised if:
 \begin{itemize}
 \item \emph{cs1.tag} is not set.
 \item \emph{cs1} is sealed.
-\end{itemize}}{\lstinputlisting[language=sail]{out/fclCAndPermMarkdownWithExceptionszexecute33a689e3a631b9b905b85461d3814943.tex}}}}
+\end{itemize}
+}{\lstinputlisting[language=sail]{out/fclCAndPermMarkdownWithExceptionszexecute33a689e3a631b9b905b85461d3814943.tex}}}}