Merge pull request #4655 from yamori813/master

make clean error workaround
2026-06-08 16:11:16 +00:00 · 2019-08-22 13:50:28 +09:00
parent 3ad58f4dae 07b2d33347
commit 246179518d
1 changed files with 1 additions and 1 deletions
@@ -11,5 +11,5 @@ docserver : docs
 	firefox doxygen/html/index.html 

 docsclean :
-	rm -r doxygen
+	rm -rf doxygen
 .PHONY : docserver docsclean