mirror of
https://github.com/achlipala/frap.git
synced 2024-11-10 00:07:51 +00:00
Tweak Makefile dependencies
This commit is contained in:
parent
792a45b506
commit
1208d0cfd4
1 changed files with 2 additions and 2 deletions
4
Makefile
4
Makefile
|
@ -19,8 +19,8 @@ clean:: Makefile.coq
|
|||
$(MAKE) -f Makefile.coq clean
|
||||
rm -f Makefile.coq
|
||||
|
||||
frap.tgz: *.v
|
||||
git archive --exclude *.html --format=tar.gz HEAD >frap.tgz
|
||||
frap.tgz: Makefile _CoqProject *.v *.tex *.html
|
||||
git archive --format=tar.gz HEAD >frap.tgz
|
||||
|
||||
WHERE=chlipala.net:sites/chlipala/adam/frap/
|
||||
|
||||
|
|
Loading…
Reference in a new issue