From 121b2ab9a85580fa155e375ff87cd3be589e0bdb Mon Sep 17 00:00:00 2001 From: swedebugia Date: Sat, 10 Nov 2018 15:22:29 +0100 Subject: [PATCH] .gitignore: Add more generated files. --- .gitignore | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 35d50b35a..d77bafb42 100644 --- a/.gitignore +++ b/.gitignore @@ -28,6 +28,8 @@ /configure /doc/*.1 /doc/.dirstamp +/doc/contributing.de.texi +/doc/contributing.fr.texi /doc/guix.*.aux /doc/guix.*.cp /doc/guix.*.cps @@ -43,11 +45,12 @@ /doc/guix.*.tp /doc/guix.*.vr /doc/guix.*.vrs -/doc/guix.aux /doc/guix.cp /doc/guix.cps +/doc/guix.de.texi /doc/guix.fn /doc/guix.fns +/doc/guix.fr.texi /doc/guix.html /doc/guix.info /doc/guix.info-[0-9] -- 2.18.0