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

David