Brian Gernhardt wrote:
We now have a gitattributes(5) file, so let git ignore that just like all the other man pages. Signed-off-by: Brian Gernhardt <benji@xxxxxxxxxxxxxxxxxx> --- Documentation/.gitignore | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/Documentation/.gitignore b/Documentation/.gitignore index b98d21e..d067481 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -1,6 +1,7 @@ *.xml *.html *.1 +*.5 *.7 *.made howto-index.txt
We can't just add *.[1-8] to the list? -hpa - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html