workaround error

2026-06-08 16:11:16 +00:00 · 2019-08-22 10:59:46 +09:00
parent 3ad58f4dae
commit 07b2d33347
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