From d66fc5354442e6f5f332c3d1bc6b3a65670db0b1 Mon Sep 17 00:00:00 2001 From: Lorenzo Cogotti Date: Wed, 14 Dec 2022 12:37:45 +0100 Subject: [PATCH] [Makefile] Also remove doc directory on clean --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 3d6e1f5..b7c47bd 100644 --- a/Makefile +++ b/Makefile @@ -59,4 +59,5 @@ uninstall: -$(RMDIR) $(DESTDIR)$(LIBDIR)/osx/include $(DESTDIR)$(LIBDIR)/osx clean: + -$(RM) -R doc -$(RM) $(lib) $(o) $(_o)