[PATCH] Ignore user-manual_es.html

[Cristian Ionescu-Idbohrn]

On Sun, 8 Jun 2014, Dirk Hohndel wrote:
> On Sat, Jun 07, 2014 at 11:01:17PM +0200, Cristian Ionescu-Idbohrn wrote:
> >
> > Some 'clean' Makefile target should remove the generated
> > user-manual_es.html too.
>
> make clean in Documentation removes all the created files.

So it does :)

Still, I was somehow expecting that 'make clean' in topdir would chain
to 'clean' in Documentation, the same way 'make' in topdir generates
files in Documentation.


Cheers,

-- 
Cristian