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>


Attachment: signature.asc
Description: PGP signature

Spice-devel mailing list

Reply via email to