files/.gitignore: Ignore $(DOCS) and $(DOC_SIDE_EFFECTS)
authorW. Trevor King <wking@tremily.us>
Sat, 9 Feb 2013 20:40:32 +0000 (15:40 -0500)
committerMatt Turner <mattst88@gmail.com>
Sat, 9 Mar 2013 02:39:14 +0000 (18:39 -0800)
commit182b9a2295b10dedf6d70be238203eb8debb77b9
tree303687a122eef62dcc6fca51a9045301595e2b5c
parentf09a0254fa7609800d76b127feba44fdd8073323
files/.gitignore: Ignore $(DOCS) and $(DOC_SIDE_EFFECTS)

These are generated by the Makefile from sources in doc/.

Reviewed-by: Matt Turner <mattst88@gmail.com>
files/.gitignore