From 8a7013babdfcd37be9e55a62d5d8b414e155162f Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Fri, 19 Dec 2025 14:58:10 +0100 Subject: chore: Add tooling, updated existing papers. Signed-off-by: Amlal El Mahrouss --- tools/makepaper.ml | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 tools/makepaper.ml (limited to 'tools') 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; + -- cgit v1.2.3