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 /Makefile | |
| parent | d59cdee774f259416a863042f0733c7f3c54776b (diff) | |
chore: update build system of `papers` repository.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -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 |