diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-21 04:26:42 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-21 04:27:14 +0100 |
| commit | 4a7ae4016032432ffcd79d19302a04fb7efb0fc3 (patch) | |
| tree | d83861b265e738c02e9455c3146127ae2e49acaf /tools | |
| parent | 5f110c1d1b6d3af193e2d490985ccda302a5ec2c (diff) | |
feat: new `mktex.ml` tool.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/makepaper.ml | 29 | ||||
| -rw-r--r-- | tools/mktex.ml | 42 |
2 files changed, 42 insertions, 29 deletions
diff --git a/tools/makepaper.ml b/tools/makepaper.ml deleted file mode 100644 index 3b05af8..0000000 --- a/tools/makepaper.ml +++ /dev/null @@ -1,29 +0,0 @@ -(* - File: makepaper.ml - Purpose: Builds a paper template for LaTeX. -*) - -open Stdlib -open Printf -open Out_channel - -let title_index = 1 -let format = " -\\documentclass[11pt, a4paper]{article} -\\usepackage{graphicx} -\\usepackage{listings} -\\usepackage{xcolor} -\\usepackage{hyperref} -\\usepackage[margin=0.5in,top=1in,bottom=1in]{geometry} - -\\title{WGx.} -\\author{John Doe.\\example@nekernel.org} -\\date{\\today}" - -(* Now format the document. *) -let () = if Array.length Sys.argv > 1 then - let out_file : string = Sys.argv.(1)^".tex" in - let file : out_channel = open_text out_file in - fprintf file "%s" format; - close_out file; - diff --git a/tools/mktex.ml b/tools/mktex.ml new file mode 100644 index 0000000..7d165da --- /dev/null +++ b/tools/mktex.ml @@ -0,0 +1,42 @@ +(* + File: mktex.ml + Purpose: Builds a paper template for LaTeX. + Copyright 2025, Amlal El Mahrouss & NeKernel.org Authors. + Licensed under Apache 2.0. +*) + +open Stdlib +open Printf +open Out_channel + +let title_index : int = 2 +let file_index : int = 1 +let format = format_of_string " +\\documentclass[11pt, a4paper]{article} +\\usepackage{graphicx} +\\usepackage{listings} +\\usepackage{xcolor} +\\usepackage{hyperref} +\\usepackage[margin=0.5in,top=1in,bottom=1in]{geometry} + +\\title{%s} +\\author{John Doe.\\\\example@nekernel.org} +\\date{\\today} + +\\begin{document} +\\bf +\\maketitle +\\begin{center} + \\rule[1cm]{17cm}{0.01cm} +\\end{center} +\\end{document} +";; + +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 "usage: <file_name> <document_title>\n"; + |