Skip to content

Commit 801569c

Browse files
fingolfinfingolfin
committed
Make Makefile a bit more robust
1 parent 057bac0 commit 801569c

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎Makefile‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
.PHONY: doc html clean check regen
22

33
GAP ?= gap
4-
GAP_ARGS = -q --quitonbreak --packagedirs .
4+
GAP_ARGS = -q --quitonbreak --packagedirs $(abspath ..)
55

66
doc:
77
$(GAP) $(GAP_ARGS) makedoc.g -c 'QUIT;'

0 commit comments

Comments
 (0)