I'm not sure this is the correct patch, but sometimes we get files like
doc/stamp-10 which fail to be ignored by the current `doc/stamp-[0-9]' pattern.