summaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorAmlal El Mahrouss <amlal@nekernel.org>2026-01-22 19:07:47 +0100
committerAmlal El Mahrouss <amlal@nekernel.org>2026-01-22 19:07:47 +0100
commit2a680bc81df1303bd2d6064e0ac565cb894b11a1 (patch)
tree6e6771460a750e026eb66b88843031c6de54edbc /Makefile
parent75f06c5927e24bd9d09bb5532cf515d18a060eb4 (diff)
chore: update Makefile.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 27c27f2..155db73 100644
--- a/Makefile
+++ b/Makefile
@@ -2,8 +2,9 @@
# Author: Amlal El Mahrouss
# Purpose: Generate HTML and PDF papers from LaTex documents.
-PDFTEX := pdflatex
-HTTEX := htlatex
+PDFTEX ?= pdflatex
+HTTEX ?= htlatex
+# That one should exist honestly.
ECHO := @echo
all: html-wg01 html-wg02