Skip to content

C
cpdt
Commit e93229ac authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Fix cpdt.tgz generation

parent 3d5b4d1d
Show whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
Makefile
View file @ e93229ac
...@@ -8,7 +8,7 @@ VS_DOC := $(MODULES_DOC:%=%.v) ...@@ -8,7 +8,7 @@ VS_DOC := $(MODULES_DOC:%=%.v)
GLOBALS := .coq_globals GLOBALS := .coq_globals
TEMPLATES := $(MODULES_CODE:%=templates/%.v) TEMPLATES := $(MODULES_CODE:%=templates/%.v)
.PHONY: coq clean doc dvi html templates install .PHONY: coq clean doc dvi html templates install cpdt.tgz
coq: Makefile.coq coq: Makefile.coq
make -f Makefile.coq make -f Makefile.coq
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment