From 5572e28e4435ec5a79b925f73c57c9e70004bb3f Mon Sep 17 00:00:00 2001
From: Antonin RAFFIN <antonin.raffin@ensta.org>
Date: Thu, 30 Apr 2020 11:26:28 +0200
Subject: [PATCH] Update makefile

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 9c41b52..5a31e2d 100644
--- a/Makefile
+++ b/Makefile
@@ -14,3 +14,5 @@ spelling:
 
 clean:
 	cd docs && make clean
+
+.PHONY: clean spelling doc