Skip to content

Commit 2256b33

Browse files
committed
Makefile: add clean target
1 parent c6426cf commit 2256b33

1 file changed

Lines changed: 6 additions & 3 deletions

File tree

Makefile

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
.PHONY: doc html regen check
1+
.PHONY: doc html clean check regen
22

33
GAP ?= gap
44
GAP_ARGS = -q --quitonbreak --packagedirs .
@@ -9,8 +9,11 @@ doc:
99
html:
1010
NOPDF=1 $(GAP) $(GAP_ARGS) makedoc.g -c 'QUIT;'
1111

12-
regen:
13-
$(GAP) $(GAP_ARGS) regen_tests.g
12+
clean:
13+
cd doc && ./clean
1414

1515
check:
1616
$(GAP) $(GAP_ARGS) tst/testall.g
17+
18+
regen:
19+
$(GAP) $(GAP_ARGS) regen_tests.g

0 commit comments

Comments
 (0)