From 8eb6d2ad2f2ffd355d9780f7be1c82b5c8e731ff Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Sat, 31 Jan 2026 10:42:59 +0100 Subject: chore: update build system of `papers` repository. Signed-off-by: Amlal El Mahrouss --- Makefile | 11 ++++++++++- tools/addentry.ml | 5 +---- wg01.mk | 2 +- wg02.mk | 2 +- wg03.mk | 2 +- 5 files changed, 14 insertions(+), 8 deletions(-) diff --git a/Makefile b/Makefile index cfff451..a8f774f 100644 --- a/Makefile +++ b/Makefile @@ -8,13 +8,22 @@ PDFTEX ?= pdflatex HTMLTEX ?= htlatex ECHO := @echo +.PHONY: all +all: clean + ECHO "Cleanup is done." + +.PHONY: clean +clean: + @rm -rf *.4ct *.4tc *.aux *.css *.pdf *.html *.tmp *.dvi *.idv *.lg *.log *.xref *.out *.png + include wg01.mk include wg02.mk include wg03.mk .PHONY: wg05 -wg05: +wg05: clean $(HTMLTEX) source/wg05/paper.tex $(PDFTEX) source/wg05/paper.tex + $(HTMLTEX) source/wg05/tn001.05/paper.tex $(PDFTEX) source/wg05/tn001.05/paper.tex diff --git a/tools/addentry.ml b/tools/addentry.ml index 79dd687..21f5d6f 100644 --- a/tools/addentry.ml +++ b/tools/addentry.ml @@ -15,11 +15,8 @@ let file_index : int = 1 let format = format_of_string " -PDFTEX ?= pdflatex -HTMLTEX ?= htlatex - .PHONY: %s -%s: +%s: clean $(HTMLTEX) source/%s/paper.tex $(PDFTEX) source/%s/paper.tex " diff --git a/wg01.mk b/wg01.mk index d93f7ef..598dbd1 100644 --- a/wg01.mk +++ b/wg01.mk @@ -5,7 +5,7 @@ # Licensed under Apache 2.0. .PHONY: wg01 -wg01: +wg01: clean $(HTMLTEX) source/wg01/paper.tex $(PDFTEX) source/wg01/paper.tex diff --git a/wg02.mk b/wg02.mk index e12bab3..a148d91 100644 --- a/wg02.mk +++ b/wg02.mk @@ -5,7 +5,7 @@ # Licensed under Apache 2.0. .PHONY: wg02 -wg02: +wg02: clean $(HTMLTEX) source/wg02/paper.tex $(PDFTEX) source/wg02/paper.tex diff --git a/wg03.mk b/wg03.mk index 896d9bb..5b4ee1d 100644 --- a/wg03.mk +++ b/wg03.mk @@ -5,7 +5,7 @@ # Licensed under Apache 2.0. .PHONY: wg03 -wg03: +wg03: clean $(HTMLTEX) source/wg03/paper.tex $(PDFTEX) source/wg03/paper.tex -- cgit v1.2.3