Makefile: Ability to clean sphinx dir

67c448dc · VIGNET Pierre · ed291e1e · 67c448dc
Commit 67c448dc authored Jan 28, 2020 by VIGNET Pierre
--- a/Makefile
+++ b/Makefile
@@ -7,6 +7,7 @@ clean:
 	cd library && make clean
 	cd command_line && make clean
 	cd gui && make clean
+	$(MAKE) -C ./doc clean

 install:
 	cd library && make install