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

doc/.gitignore

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