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/