Makefile: Fix 'make distclean'
authorPeter Maydell <peter.maydell@linaro.org>
Fri, 8 Mar 2019 13:57:43 +0000 (13:57 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Mon, 11 Mar 2019 11:10:44 +0000 (11:10 +0000)
commit81f33401ef95e7c6470b24348fc000904b572b3e
tree2df9b5f023b8b15c0e24521288f4024110e5ea9a
parent1290e6711f2a7e8f2393346a0226f51d590d225f
Makefile: Fix 'make distclean'

We forgot the '-r' option on the rm command to clean up the
Sphinx .doctrees working directory, which meant that
"make distclean" fails:
 rm: cannot remove '.doctrees': Is a directory

Add the missing option.

Fixes: 5f71eac06e15b9a3fa1134d446f ("Makefile, configure: Support building rST documentation")
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Message-id: 20190308135744.6480-3-peter.maydell@linaro.org
Makefile