From 9b4bb9d28a6a5f84c407f795d518726fd7902121 Mon Sep 17 00:00:00 2001 From: Bernhard Voelker Date: Sun, 15 Mar 2020 11:20:41 +0100 Subject: [PATCH] maint: add texi2dvi build directory to doc/.gitignore * doc/.gitignore (/coreutils.t2p/): Add entry for the build directory left behind after 'make pdf'. While at it, sort the file. --- doc/.gitignore | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/.gitignore b/doc/.gitignore index 9d0c621636..851e1d9f4a 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,3 +1,4 @@ +/.dirstamp /constants.texi /coreutils.aux /coreutils.cp @@ -12,13 +13,13 @@ /coreutils.op /coreutils.pdf /coreutils.pg +/coreutils.t2p/ /coreutils.toc /coreutils.tp /coreutils.vr /fdl.texi /gendocs_template +/gendocs_template_min /parse-datetime.texi /stamp-vti /version.texi -/.dirstamp -/gendocs_template_min -- 2.47.2