summaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorAmlal El Mahrouss <amlal@nekernel.org>2025-12-19 14:58:10 +0100
committerAmlal El Mahrouss <amlal@nekernel.org>2025-12-19 14:58:10 +0100
commit8a7013babdfcd37be9e55a62d5d8b414e155162f (patch)
tree154ba6ba45eab98c10267ccd36ae946351e25489 /tools
parent291673e430701b38df857257fb77e974e3879cf9 (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.ml29
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;
+