diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-22 16:01:48 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-22 16:01:48 +0100 |
| commit | 78f751eaa4473bd97b4133d268361ae7c20fb5d6 (patch) | |
| tree | 30038a9456bbf1f6e295a77fb017b1bd5660747e | |
| parent | 362d792afcbd3a08af79b42dff3a3653f668b3ce (diff) | |
chore: Better help prompt for `mktex`.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
| -rw-r--r-- | tools/mktex.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/mktex.ml b/tools/mktex.ml index 7d165da..13d656d 100644 --- a/tools/mktex.ml +++ b/tools/mktex.ml @@ -38,5 +38,6 @@ let () = if Array.length Sys.argv >= 3 then fprintf file format Sys.argv.(title_index); close_out file; else + printf "mktex - build LaTeX documents.\n"; printf "usage: <file_name> <document_title>\n"; |