summaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorAmlal El Mahrouss <amlal@nekernel.org>2026-01-23 00:53:21 +0100
committerAmlal El Mahrouss <amlal@nekernel.org>2026-01-23 00:53:21 +0100
commit7a5b18705b8c7e975332946ff6c36be73a2ef9c3 (patch)
tree656aee61d19acb89a40936f856140d3bd79ce22b /tools
parent2a680bc81df1303bd2d6064e0ac565cb894b11a1 (diff)
chore: improve makefile and ocamlformat.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'tools')
-rw-r--r--tools/mktex.ml6
1 files changed, 4 insertions, 2 deletions
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: <file_name> <document_title>\n"
);