diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-01 12:59:08 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-01 12:59:08 +0100 |
| commit | 57292870968dd2f71f6d311c15f59c13543c84ed (patch) | |
| tree | bbfabb4b2a3ba6d32701c3cad057229725b075d2 /tools | |
| parent | 8eb6d2ad2f2ffd355d9780f7be1c82b5c8e731ff (diff) | |
init: draft paper on C-index structures.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/addpaper.ml | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/tools/addpaper.ml b/tools/addpaper.ml index e6cca9b..457524e 100644 --- a/tools/addpaper.ml +++ b/tools/addpaper.ml @@ -13,7 +13,8 @@ let email_index : int = 4 let author_index : int = 3 let title_index : int = 2 let file_index : int = 1 -let format = format_of_string " +let format = format_of_string +" \\documentclass[11pt, a4paper]{article} \\usepackage{graphicx} \\usepackage{listings} @@ -22,7 +23,7 @@ let format = format_of_string " \\usepackage[margin=0.5in,top=1in,bottom=1in]{geometry} \\title{%s} -\\author{%s.\\\\%s} +\\author{%s\\\\%s} \\date{\\today} \\begin{document} @@ -36,17 +37,21 @@ let format = format_of_string " \\rule[0.01cm]{17cm}{0.01cm} \\end{center} \\end{document} -";; +" +;; (* We just make a LaTeX file with the given title. *) 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); + let file = open_text out_file in + let title = Sys.argv.(title_index) in + let author = Sys.argv.(author_index) in + let email = Sys.argv.(email_index) in + + fprintf file format title author email; + close_out file; else ( printf "addpaper: Creates papers for TeX.\n"; |
