BUILD: cleanup

This commit is contained in:
2014-05-28 21:18:33 +02:00
parent 74bf318d29
commit 6142381abb
3 changed files with 6 additions and 44 deletions

View File

@@ -10,9 +10,6 @@ main:
clean:
$(MAKE) -C src clean
clean-all: clean
$(MAKE) -C external/flint-2.4.3 clean
doc:
doxygen
@@ -20,4 +17,4 @@ doc-pdf: doc
$(MAKE) -C latex pdf
.PHONY: clean clean-all doc doc-pdf
.PHONY: clean doc doc-pdf