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 --- .github/.keep | 0 .gitignore | 4 ++++ .ocamlformat | 1 + MailMap | 1 + Makefile | 4 +++- example/.keep | 0 source/wg01/wg01.tex | 2 +- source/wg02/wg02.tex | 2 +- source/wg03/wg03.tex | 2 +- tools/makepaper.ml | 29 +++++++++++++++++++++++++++++ 10 files changed, 41 insertions(+), 4 deletions(-) create mode 100644 .github/.keep create mode 100644 .ocamlformat create mode 100644 MailMap create mode 100644 example/.keep create mode 100644 tools/makepaper.ml diff --git a/.github/.keep b/.github/.keep new file mode 100644 index 0000000..e69de29 diff --git a/.gitignore b/.gitignore index 6e059ae..88c25ce 100644 --- a/.gitignore +++ b/.gitignore @@ -14,4 +14,8 @@ *.4tc *.lg *.tmp +*.cmi +*.cmx +*.o +*.out Makefile~ diff --git a/.ocamlformat b/.ocamlformat new file mode 100644 index 0000000..3b3d8e3 --- /dev/null +++ b/.ocamlformat @@ -0,0 +1 @@ +version = diff --git a/MailMap b/MailMap new file mode 100644 index 0000000..99f9dd1 --- /dev/null +++ b/MailMap @@ -0,0 +1 @@ +@amlel-el-mahrouss - amlal@nekernel.org \ No newline at end of file diff --git a/Makefile b/Makefile index c0857a9..27c27f2 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ # File: Makefile # Author: Amlal El Mahrouss -# Purpose: Generate HTML papers from LaTex documents. +# Purpose: Generate HTML and PDF papers from LaTex documents. PDFTEX := pdflatex HTTEX := htlatex @@ -18,3 +18,5 @@ html-wg01: html-wg02: $(HTTEX) source/wg02/wg02.tex $(PDFTEX) source/wg02/wg02.tex + + diff --git a/example/.keep b/example/.keep new file mode 100644 index 0000000..e69de29 diff --git a/source/wg01/wg01.tex b/source/wg01/wg01.tex index 25a4f2f..449057b 100644 --- a/source/wg01/wg01.tex +++ b/source/wg01/wg01.tex @@ -16,7 +16,7 @@ \definecolor{codepurple}{rgb}{0.58,0,0.82} \title{Methodology for Freestanding Development.} -\author{Amlal El Mahrouss\\amlal@nekernel.org} +\author{Amlal El Mahrouss.\\amlal@nekernel.org} \date{December 2025} \lstset{ diff --git a/source/wg02/wg02.tex b/source/wg02/wg02.tex index f201ef3..94b9c72 100644 --- a/source/wg02/wg02.tex +++ b/source/wg02/wg02.tex @@ -9,7 +9,7 @@ \usepackage[margin=0.5in,top=1in,bottom=1in]{geometry} \title{Methodology for Process and Image Computation.} -\author{Amlal El Mahrouss\\amlal@nekernel.org} +\author{Amlal El Mahrouss.\\amlal@nekernel.org} \date{December 2025} \definecolor{codegray}{gray}{0.95} diff --git a/source/wg03/wg03.tex b/source/wg03/wg03.tex index b8dfbd4..bc8eeaf 100644 --- a/source/wg03/wg03.tex +++ b/source/wg03/wg03.tex @@ -9,7 +9,7 @@ \usepackage[margin=0.5in,top=1in,bottom=1in]{geometry} \title{Methodology for Storage Correctness.} -\author{Amlal El Mahrouss\\amlal@nekernel.org} +\author{Amlal El Mahrouss.\\amlal@nekernel.org} \date{December 2025} \definecolor{codegray}{gray}{0.95} 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