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/makepaper.ml | |
| parent | 5f110c1d1b6d3af193e2d490985ccda302a5ec2c (diff) | |
feat: new `mktex.ml` tool.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'tools/makepaper.ml')
| -rw-r--r-- | tools/makepaper.ml | 29 |
1 files changed, 0 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; - |