https://github.com/uds-psl/coq-library-undecidability
Tip revision: 707e41faa1ecdf885eecb6d5b2a43f387bdf22c6 authored by Dominik Kirst on 18 April 2020, 09:27:26 UTC
fixed typo in my hometown
fixed typo in my hometown
Tip revision: 707e41f
Makefile
.PHONY : all coq html website clean
all: coq html website
html:
$(MAKE) -C theories html
coq:
$(MAKE) -C theories
website:
$(MAKE) -C theories html
mv theories/html/*html website
rm -rf theories/html
clean:
$(MAKE) -C theories clean
rm -f website/*html