diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-30 23:43:16 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-30 23:46:52 +0100 |
| commit | 8ee220a5d984f83d5ee9d9eed224ab0551bc7cc3 (patch) | |
| tree | b6ea2c07598f1253832a1e00fb61b7f5fe5fa29d /tools | |
| parent | 9a5839719867e779eefc3cf11654bc1032232fd3 (diff) | |
feat: wg0{1..5}: some tiny refactors on the paper and ocaml scripts.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/addentry.ml | 36 | ||||
| -rw-r--r-- | tools/addpaper.ml | 8 |
2 files changed, 35 insertions, 9 deletions
diff --git a/tools/addentry.ml b/tools/addentry.ml index 29dce37..79dd687 100644 --- a/tools/addentry.ml +++ b/tools/addentry.ml @@ -1,5 +1,5 @@ (* - File: addrule.ml + File: addentry.ml Purpose: Creates a makefile rule. Copyright 2026, Amlal El Mahrouss & NeKernel.org Authors. Licensed under Apache 2.0. @@ -9,8 +9,32 @@ open Stdlib open Out_channel open Printf -(* - We just make a LaTeX file with the given title. -*) -let () = if Array.length Sys.argv >= 3 then - printf "We are done here."; +let paper_name_index : int = 2 +let file_index : int = 1 + +let format = format_of_string + " + +PDFTEX ?= pdflatex +HTMLTEX ?= htlatex + +.PHONY: %s +%s: + $(HTMLTEX) source/%s/paper.tex + $(PDFTEX) source/%s/paper.tex +" +;; + +let () = + if Array.length Sys.argv >= 3 then + let out_file = Sys.argv.(file_index) ^ ".mk" in + let file = open_text out_file in + let name = Sys.argv.(paper_name_index) in + + fprintf file format name name name name; + + close_out file + else ( + printf "addentry: Add paper Makefile entry.\n"; + printf "addentry: usage: <file_index> <paper_name_index>\n" + )
\ No newline at end of file diff --git a/tools/addpaper.ml b/tools/addpaper.ml index ec91c58..e6cca9b 100644 --- a/tools/addpaper.ml +++ b/tools/addpaper.ml @@ -9,6 +9,7 @@ open Stdlib open Out_channel open Printf +let email_index : int = 4 let author_index : int = 3 let title_index : int = 2 let file_index : int = 1 @@ -21,7 +22,7 @@ let format = format_of_string " \\usepackage[margin=0.5in,top=1in,bottom=1in]{geometry} \\title{%s} -\\author{%s.\\\\john@nekernel.org} +\\author{%s.\\\\%s} \\date{\\today} \\begin{document} @@ -40,13 +41,14 @@ let format = format_of_string " (* We just make a LaTeX file with the given title. *) -let () = if Array.length Sys.argv >= 4 then +let () = if Array.length Sys.argv >= 5 then let out_file : string = Sys.argv.(file_index)^".tex" in let file : out_channel = open_text out_file in fprintf file format Sys.argv.(title_index); fprintf file format Sys.argv.(author_index); + fprintf file format Sys.argv.(email_index); close_out file; else ( - printf "addpaper: Creates LaTeX papers.\n"; + printf "addpaper: Creates papers for TeX.\n"; printf "addpaper: usage: <file_name> <document_title>\n" ); |
