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 /Makefile | |
| 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 'Makefile')
| -rw-r--r-- | Makefile | 38 |
1 files changed, 13 insertions, 25 deletions
@@ -1,36 +1,24 @@ # File: Makefile # Author: Amlal El Mahrouss # Purpose: Generate HTML and PDF papers from LaTex documents. +# (C) 2025-2026 Amlal El Mahrouss. +# Licensed under Apache 2.0. PDFTEX ?= pdflatex -HTTEX ?= htlatex -# That one should exist honestly. +HTMLTEX ?= htlatex ECHO := @echo .PHONY: all -all: html-wg05 html-wg01 html-wg02 html-wg03 +all: wg05 wg01 wg02 wg03 $(ECHO) "=> Done building Tex files." -.PHONY: html-wg05 -html-wg05: - $(HTTEX) source/wg05/wg05.tex - $(PDFTEX) source/wg05/wg05.tex - $(HTTEX) source/wg05/tn/tn001.05.tex - $(PDFTEX) source/wg05/tn/tn001.05.tex - -.PHONY: html-wg01 -html-wg01: - $(HTTEX) source/wg01/wg01.tex - $(PDFTEX) source/wg01/wg01.tex - -.PHONY: html-wg03 -html-wg03: - $(HTTEX) source/wg03/wg03.tex - $(PDFTEX) source/wg03/wg03.tex - -.PHONY: html-wg02 -html-wg02: - $(HTTEX) source/wg02/wg02.tex - $(PDFTEX) source/wg02/wg02.tex - +include wg01.mk +include wg02.mk +include wg03.mk +.PHONY: wg05 +wg05: + $(HTMLTEX) source/wg05/paper.tex + $(PDFTEX) source/wg05/paper.tex + $(HTMLTEX) source/wg05/tn001.05/paper.tex + $(PDFTEX) source/wg05/tn001.05/paper.tex |