From 8ee220a5d984f83d5ee9d9eed224ab0551bc7cc3 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Fri, 30 Jan 2026 23:43:16 +0100 Subject: feat: wg0{1..5}: some tiny refactors on the paper and ocaml scripts. Signed-off-by: Amlal El Mahrouss --- Makefile | 38 +++++++++++++------------------------- 1 file changed, 13 insertions(+), 25 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 1fcc9c8..24eca4a 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.3