diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-19 14:58:10 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2025-12-19 14:58:10 +0100 |
| commit | 8a7013babdfcd37be9e55a62d5d8b414e155162f (patch) | |
| tree | 154ba6ba45eab98c10267ccd36ae946351e25489 /tools | |
| parent | 291673e430701b38df857257fb77e974e3879cf9 (diff) | |
chore: Add tooling, updated existing papers.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/makepaper.ml | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/tools/makepaper.ml b/tools/makepaper.ml new file mode 100644 index 0000000..3b05af8 --- /dev/null +++ b/tools/makepaper.ml @@ -0,0 +1,29 @@ +(* + 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; + |
