From 07b2d33347c2d2c60cba0ddb1963c2cd6cdd1684 Mon Sep 17 00:00:00 2001 From: yamori813 Date: Thu, 22 Aug 2019 10:59:46 +0900 Subject: workaround error --- Makefile.doc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.doc') diff --git a/Makefile.doc b/Makefile.doc index cf95c187f..02bfa55d6 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -11,5 +11,5 @@ docserver : docs firefox doxygen/html/index.html docsclean : - rm -r doxygen + rm -rf doxygen .PHONY : docserver docsclean -- cgit v1.2.3