On Sat 25 Jun 2016 22:35, David Pirotte <da...@altosw.be> writes: > Hello Andy, > >> > diff --git a/.gitignore b/.gitignore >> > index 3deeab2..bce9756 100644 >> > --- a/.gitignore >> > +++ b/.gitignore >> > @@ -13,6 +13,7 @@ config.status >> > config.log >> > config.h >> > *.doc >> > +*.html >> > *.x >> > *.lo >> > *.la > >> Can you make it more specific please? I.e. doc/ref/guile.html > > Is this what you meant ? If so it can be applied to master as well
No, like /doc/ref/guile.html in the root .gitignore please; see other similar lines in the root gitignore. Andy
