Docs: Fix minor problem with make clean

This commit is contained in:
Pietro 2018-01-23 16:12:48 +01:00
parent ce35bc5346
commit 89f9d9aa5f

View File

@ -22,4 +22,4 @@ html: Makefile introduction/readme.rst
clean: clean:
@-rm -Rf "$(BUILDDIR)" @-rm -Rf "$(BUILDDIR)"
@-rm introduction/readme.rst @-rm -Rf introduction/readme.rst