From 8eb6d2ad2f2ffd355d9780f7be1c82b5c8e731ff Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Sat, 31 Jan 2026 10:42:59 +0100
Subject: chore: update build system of `papers` repository.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 tools/addentry.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'tools')

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
 "
-- 
cgit v1.2.3