From 96d30e3170e01484b21b019186135fc2d6ebcc53 Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi
Date: Fri, 29 Nov 2019 12:49:37 +0900
Subject: Fix Makefile

---
 mathcomp/Makefile.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp/Makefile.common')

diff --git a/mathcomp/Makefile.common b/mathcomp/Makefile.common
index 04c3adc..857ddef 100644
--- a/mathcomp/Makefile.common
+++ b/mathcomp/Makefile.common
@@ -146,4 +146,4 @@ doc: __always__ Makefile.coq
 	cp ../etc/artwork/coqdoc.css _build_doc/htmldoc
 
 doc-clean:
-	rm -r _build_doc/
+	rm -rf _build_doc/
-- 
cgit v1.2.3