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
From f816389b7164596d448605a3289c6894117e120b Mon Sep 17 00:00:00 2001
From: David Pirotte <da...@altosw.be>
Date: Sat, 25 Jun 2016 17:27:36 -0300
Subject: [PATCH] Do not track r5rs doc html files

* doc/r5rs/.gitignore: New file.  We don't track documentation html
  files.
---
 doc/r5rs/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 doc/r5rs/.gitignore

diff --git a/doc/r5rs/.gitignore b/doc/r5rs/.gitignore
new file mode 100644
index 0000000..3a6b095
--- /dev/null
+++ b/doc/r5rs/.gitignore
@@ -0,0 +1 @@
+r5rs.html
-- 
2.8.1

Attachment: pgpzlgQsT2v8P.pgp
Description: OpenPGP digital signature

Reply via email to