[PATCH] Documentation: .gitignore: ignore 'commands/' generated directory

[Sascha Hauer]

On Wed, Sep 03, 2014 at 07:16:39PM +0400, Antony Pavlov wrote:
> Signed-off-by: Antony Pavlov <antonynpavlov at gmail.com>

Applied, thanks

Sascha

> ---
>  Documentation/.gitignore | 1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/Documentation/.gitignore b/Documentation/.gitignore
> index 1454566..5c36dc3 100644
> --- a/Documentation/.gitignore
> +++ b/Documentation/.gitignore
> @@ -1,2 +1,3 @@
>  build
> +commands
>  html
> -- 
> 2.1.0
> 
> 
> _______________________________________________
> barebox mailing list
> barebox at lists.infradead.org
> http://lists.infradead.org/mailman/listinfo/barebox
> 

-- 
Pengutronix e.K.                           |                             |
Industrial Linux Solutions                 | http://www.pengutronix.de/  |
Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0    |
Amtsgericht Hildesheim, HRA 2686           | Fax:   +49-5121-206917-5555 |