ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder--- a/Makefile

ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder+++ b/Makefile

ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder@@ -1,8 +1,11 @@

ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder all:

ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder cd src/ && ./configure

ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder make -C src/ opt

ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder+ -mkdir docs

ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder+ help2man -N -n "Higher-order theorem prover" bin/leo > docs/leo.1

ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder clean:

ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder cd src/ && ./configure

ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder -make -C src/ clean_minisat

ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder -make -C src/ cleaner

ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder rm src/Makefile

ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder+ -rm docs/leo.1