Skip to content

Commit e522326

Browse files
SkySkimmerSkySkimmer
authored
Really don't fail if coqdocjs not present
1 parent 295a553 commit e522326

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎Makefile‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
all: theories examples
22

33
-include coqdocjs/Makefile.doc
4+
COQMAKEFILE?=Makefile.coq
45

56
theories: $(COQMAKEFILE)
67
$(MAKE) -f $(COQMAKEFILE)

0 commit comments

Comments
 (0)