Revision 6438c0db8ab17f264062eef7db8061c18fccd2b5 authored by Yannick Forster on 22 May 2019, 13:55:32 UTC, committed by Yannick Forster on 22 May 2019, 13:55:32 UTC
1 parent ac100be
Makefile
deps:
+make -C external all
all:
+make -C theories all
clean:
+make -C theories clean
realclean:
+make -C external clean
+make -C theories clean
html:
+make -C theories website
.PHONY: all html clean realclean
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...