From f816389b7164596d448605a3289c6894117e120b Mon Sep 17 00:00:00 2001
From: David Pirotte <address@hidden>
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