diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-01 23:03:50 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-01 23:03:50 +0100 |
| commit | 1ded687841d2a10e2405c50d5922ebf1a2c3a179 (patch) | |
| tree | 52faa6348caa2bc3b3be9d57045fd4b14c614b60 /Makefile | |
| parent | 4ff7f952ab709e46c5ac0625c607796b2a38742c (diff) | |
chore: makefile and paper organization improvements.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 1 insertions, 8 deletions
@@ -19,11 +19,4 @@ clean: include wg01.mk include wg02.mk include wg03.mk - -.PHONY: 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 +include wg05.mk
\ No newline at end of file |