On Mon, Dec 12, 2016 at 02:09:24PM +0000, Frediano Ziglio wrote: > Limit the html files ignored. > Can happen that you are working on some html files on your main > spice-server directory and it's not desirable to ignore them. > > Signed-off-by: Frediano Ziglio <fziglio@xxxxxxxxxx> > --- > .gitignore | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/.gitignore b/.gitignore > index cac10f9..f341254 100644 > --- a/.gitignore > +++ b/.gitignore > @@ -4,7 +4,7 @@ > *.tar.bz2 > *.tar.gz > *.pyc > -*.html > +docs/**/*.html I think this is going to make docs/manual/manual.html redundant ? .gitignore is roughly alphabetically ordered, so I'd move docs/ down in that file. Christophe
Attachment:
signature.asc
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/spice-devel