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