ping ----- Original Message ----- > From: "Uri Lublin" <uril@xxxxxxxxxx> > To: "Frediano Ziglio" <fziglio@xxxxxxxxxx>, spice-devel@xxxxxxxxxxxxxxxxxxxxx > Sent: Thursday, January 26, 2017 1:22:39 PM > Subject: Re: [PATCH spice-server v2] gitignore: Reduce html files exclusion > > On 01/26/2017 12:52 PM, Frediano Ziglio wrote: > > ping > > > >> > >> 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. > > Hi Frediano, > > How can that happen ? What html files one may work on ? > > I'd add in the commit log that html files under docs/ are still > ignored (be more specific with above "Limit"). > > Uri. > > > >> > >> Signed-off-by: Frediano Ziglio <fziglio@xxxxxxxxxx> > >> --- > >> .gitignore | 3 +-- > >> 1 file changed, 1 insertion(+), 2 deletions(-) > >> > >> Changes since v1: > >> - remove redundant ignore; > >> - move exclusion to get better order. > >> > >> diff --git a/.gitignore b/.gitignore > >> index cac10f9..85f922b 100644 > >> --- a/.gitignore > >> +++ b/.gitignore > >> @@ -4,7 +4,6 @@ > >> *.tar.bz2 > >> *.tar.gz > >> *.pyc > >> -*.html > >> aclocal.m4 > >> autom4te.cache > >> compile > >> @@ -34,7 +33,7 @@ INSTALL > >> .version > >> .tarball-version > >> docs/manual/manual.chunked/ > >> -docs/manual/manual.html > >> +docs/**/*.html > >> .dirstamp > >> .deps > >> .libs > > > > _______________________________________________ > > Spice-devel mailing list > > Spice-devel@xxxxxxxxxxxxxxxxxxxxx > > https://lists.freedesktop.org/mailman/listinfo/spice-devel > > > > _______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/spice-devel