summaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorAmlal El Mahrouss <amlal@nekernel.org>2026-02-01 12:59:08 +0100
committerAmlal El Mahrouss <amlal@nekernel.org>2026-02-01 12:59:08 +0100
commit57292870968dd2f71f6d311c15f59c13543c84ed (patch)
treebbfabb4b2a3ba6d32701c3cad057229725b075d2 /tools
parent8eb6d2ad2f2ffd355d9780f7be1c82b5c8e731ff (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.ml19
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";