[PATCH 2/3] Distclean might clean the Documentation as well.

[Linus Torvalds]

On Sun, Oct 6, 2013 at 4:56 AM, Cristian Ionescu-Idbohrn
<cristian.ionescu-idbohrn at axis.com> wrote:
>
>  distclean: confclean
> +       $(MAKE) -C Documentation clean
>         rm -f $(CREATOR_FILES)

Side note: we might want to just make this

    git clean -dqfx

if we're in a git environment. They gets rid of all non-tracked files
(modulo issues like permissions etc).

               Linus