diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-23 00:53:21 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-23 00:53:21 +0100 |
| commit | 7a5b18705b8c7e975332946ff6c36be73a2ef9c3 (patch) | |
| tree | 656aee61d19acb89a40936f856140d3bd79ce22b | |
| parent | 2a680bc81df1303bd2d6064e0ac565cb894b11a1 (diff) | |
chore: improve makefile and ocamlformat.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
| -rw-r--r-- | .ocamlformat | 2 | ||||
| -rw-r--r-- | Makefile | 8 | ||||
| -rw-r--r-- | tools/mktex.ml | 6 |
3 files changed, 12 insertions, 4 deletions
diff --git a/.ocamlformat b/.ocamlformat index 3b3d8e3..978ef1a 100644 --- a/.ocamlformat +++ b/.ocamlformat @@ -1 +1 @@ -version = +version = "5.4.0" @@ -7,9 +7,15 @@ HTTEX ?= htlatex # That one should exist honestly. ECHO := @echo -all: html-wg01 html-wg02 +.PHONY: all +all: html-wg05 html-wg01 html-wg02 $(ECHO) "=> Done building Tex files." +.PHONY: html-wg05 +html-wg05: + $(HTTEX) source/wg05/wg05.tex + $(PDFTEX) source/wg05/wg05.tex + .PHONY: html-wg01 html-wg01: $(HTTEX) source/wg01/wg01.tex diff --git a/tools/mktex.ml b/tools/mktex.ml index 5ec6f4f..1cf4973 100644 --- a/tools/mktex.ml +++ b/tools/mktex.ml @@ -7,7 +7,6 @@ open Stdlib open Printf -open Out_channel let title_index : int = 2 let file_index : int = 1 @@ -32,12 +31,15 @@ let format = format_of_string " \\end{document} ";; +(* + We just make a LaTeX file with the given title. +*) let () = if Array.length Sys.argv >= 3 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); close_out file; else ( - printf "mktex - build LaTeX documents.\n"; + printf "mktex - Build LaTeX documents.\n"; printf "usage: <file_name> <document_title>\n" ); |