diff options
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"; |