From 1bf9e124ebffae8e4e5426594d4c3334c9d4e51a Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Tue, 9 Apr 2013 04:38:35 -0400
Subject: [PATCH] Change doc/.gitignore to make git aware of files with
 non-generated contents.

---
 doc/.gitignore | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/doc/.gitignore b/doc/.gitignore
index ca50d37af6..4d1c9ea426 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,3 +1,12 @@
-# most things here are generated, so ignore everything, and explicitly
-# add things that need to be added -- use `git add -f' in such cases.
-*
+# ignore all sub-directories and generated files
+/*/
+/*.html
+/*.css
+/*.js
+/*.sxref
+/blueboxes.rktd
+/docindex.sqlite
+
+# except directories that have committed contents
+!/release-notes/
+!/*-std/