maint: update gitignore entries
authorStefano Lattarini <stefano.lattarini@gmail.com>
Wed, 29 Aug 2012 16:01:02 +0000 (18:01 +0200)
committerJim Meyering <meyering@redhat.com>
Thu, 30 Aug 2012 13:22:00 +0000 (15:22 +0200)
commitfb6b70e3374ba74dec372aa1f1ba7560b95ce967
tree39568fb9a13bb9bece2c8d932f3f0f47d2fc564a
parenta13ffec3385d648cebb48165e9af4767fc1a315b
maint: update gitignore entries

* doc/.gitinore: Here, adding the '.dirstamp' file generated by
the Texinfo rules.
doc/.gitignore