diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-31 10:42:59 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-01-31 10:42:59 +0100 |
| commit | 8eb6d2ad2f2ffd355d9780f7be1c82b5c8e731ff (patch) | |
| tree | b47c5a3c1cd38cf24c21a239ded1d91320230411 /wg03.mk | |
| parent | d59cdee774f259416a863042f0733c7f3c54776b (diff) | |
chore: update build system of `papers` repository.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'wg03.mk')
| -rw-r--r-- | wg03.mk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ # Licensed under Apache 2.0. .PHONY: wg03 -wg03: +wg03: clean $(HTMLTEX) source/wg03/paper.tex $(PDFTEX) source/wg03/paper.tex |