chore: update build system of `papers` repository.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

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