From: Bruno Haible <bruno@clisp.org> Date: Mon, 11 Nov 2024 08:05:12 +0000 (+0100) Subject: Update .gitignore after 2024-10-27 change. X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=f4a6852178f4d0471a1117d028af42af6cd68a12;p=gnulib.git Update .gitignore after 2024-10-27 change. --- diff --git a/doc/.gitignore b/doc/.gitignore index c17c1a3e03..fb01f3e281 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -10,9 +10,12 @@ gnulib.fn gnulib.ky gnulib.log gnulib.m +gnulib.ms gnulib.pg gnulib.toc gnulib.tp +gnulib.um +gnulib.ums gnulib.vr gnulib.vrs gnulib.info