On Mon, Jun 19, 2017 at 08:15:24AM +0100, Frediano Ziglio wrote: > Limit html files ignored. Html files under docs/ are still 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. > For instance this can happen if you download a patch from patchwork.
I don't think this rationale is really compelling, I could use a very simiar wording to say that we should not have *.tar.bz2/*.tar.gz in .gitignore for example, and I don't think we should go out of our way to support everyone's workflows. However, in this case since we are only generating .html files in docs/, it indeed makes sense/makes things clearer to be more specific in what we are ignoring. Acked-by: Christophe Fergeau <cferg...@redhat.com> Christophe
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spicefirstname.lastname@example.org https://lists.freedesktop.org/mailman/listinfo/spice-devel