swh:1:snp:285d0862cad82752ceda4e56bdf44014e05fbf49
Tip revision: 138245ce9172b45d91ec49eda1cc67ef155bc14e authored by Andrej Dudenhefner on 26 March 2024, 12:06:22 UTC
Merge pull request #218 from mrhaandi/fix-Arguments-typo
Merge pull request #218 from mrhaandi/fix-Arguments-typo
Tip revision: 138245c
Makefile
all:
export TIMED
@+$(MAKE) -C theories all
force Makefile: ;
%: force
@+$(MAKE) -C theories $@
deploy:
@+$(MAKE) -C theories html
rsync -r website/ forster@alfred.ps.uni-saarland.de:~/public_html/thesis/library-coq/
.PHONY: all force