Update makefile

This commit is contained in:
Antonin RAFFIN 2020-04-30 11:26:28 +02:00
parent 559f43b522
commit 5572e28e44

View file

@ -14,3 +14,5 @@ spelling:
clean:
cd docs && make clean
.PHONY: clean spelling doc