Commit 2a0d7022 authored by Benoit Viguier's avatar Benoit Viguier
Browse files

add make doc

parent f058aa75
......@@ -234,3 +234,5 @@ tramp
/server/
slides/config.php
slides/send.php
doc
\ No newline at end of file
......@@ -91,6 +91,10 @@ Car: .loadpath $(CAR_FILES:%.v=Car/%.vo)
.loadpath:
echo $(COQFLAGS) > .loadpath
doc:
mkdir -p doc
$(COQDOC) -d doc $(FILES)
dep:
@$(COQDEP) $(filter $(wildcard *.v */*.v */*/*.v),$(FILES))
# $(COQDEP) > .depend $(FILES)
......
Supports Markdown
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