From 89f9d9aa5f46883a08c02b3c143f320d2a96a8ca Mon Sep 17 00:00:00 2001 From: Pietro Date: Tue, 23 Jan 2018 16:12:48 +0100 Subject: [PATCH] Docs: Fix minor problem with make clean --- docs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index f55d93bb0..6067bb042 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -22,4 +22,4 @@ html: Makefile introduction/readme.rst clean: @-rm -Rf "$(BUILDDIR)" - @-rm introduction/readme.rst + @-rm -Rf introduction/readme.rst