Change doc/.gitignore to make git aware of files with non-generated contents.

(cherry picked from commit 1bf9e124eb)
This commit is contained in:
Eli Barzilay 2013-04-09 04:38:35 -04:00 committed by Ryan Culpepper
parent 8818f8af68
commit c6f45e275c

15
doc/.gitignore vendored
View File

@ -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/