From: "Emilio G. Cota" <cota@xxxxxxxxx> user-manual.pdf is generated by the build and therefore should be ignored by git. Signed-off-by: Emilio G. Cota <cota@xxxxxxxxx> --- Documentation/.gitignore | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/Documentation/.gitignore b/Documentation/.gitignore index 1c3a9fe..d62aebd 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -3,6 +3,7 @@ *.[1-8] *.made *.texi +*.pdf git.info gitman.info howto-index.txt -- 1.7.6 -- 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