diff options
| -rw-r--r-- | .github/.keep | 0 | ||||
| -rw-r--r-- | .gitignore | 4 | ||||
| -rw-r--r-- | .ocamlformat | 1 | ||||
| -rw-r--r-- | MailMap | 1 | ||||
| -rw-r--r-- | Makefile | 4 | ||||
| -rw-r--r-- | example/.keep | 0 | ||||
| -rw-r--r-- | source/wg01/wg01.tex | 2 | ||||
| -rw-r--r-- | source/wg02/wg02.tex | 2 | ||||
| -rw-r--r-- | source/wg03/wg03.tex | 2 | ||||
| -rw-r--r-- | tools/makepaper.ml | 29 |
10 files changed, 41 insertions, 4 deletions
diff --git a/.github/.keep b/.github/.keep new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/.github/.keep @@ -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 = @@ -0,0 +1 @@ +@amlel-el-mahrouss - amlal@nekernel.org
\ No newline at end of file @@ -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 --- /dev/null +++ b/example/.keep 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; + |