From 7a5b18705b8c7e975332946ff6c36be73a2ef9c3 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Fri, 23 Jan 2026 00:53:21 +0100 Subject: chore: improve makefile and ocamlformat. Signed-off-by: Amlal El Mahrouss --- tools/mktex.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'tools') diff --git a/tools/mktex.ml b/tools/mktex.ml index 5ec6f4f..1cf4973 100644 --- a/tools/mktex.ml +++ b/tools/mktex.ml @@ -7,7 +7,6 @@ open Stdlib open Printf -open Out_channel let title_index : int = 2 let file_index : int = 1 @@ -32,12 +31,15 @@ let format = format_of_string " \\end{document} ";; +(* + We just make a LaTeX file with the given title. +*) let () = if Array.length Sys.argv >= 3 then let out_file : string = Sys.argv.(file_index)^".tex" in let file : out_channel = open_text out_file in fprintf file format Sys.argv.(title_index); close_out file; else ( - printf "mktex - build LaTeX documents.\n"; + printf "mktex - Build LaTeX documents.\n"; printf "usage: \n" ); -- cgit v1.2.3