From e57ca5d032730f870d9a253b5312cc75cb7df200 Mon Sep 17 00:00:00 2001 From: Tsukasa OI Date: Fri, 11 Aug 2023 10:19:45 +0900 Subject: Add *.pdf.tmp to build/.gitignore (#1091) The author forgot to add this to the initial PR because *.pdf.tmp normally only exists for a short amount of time (while building). Signed-off-by: Tsukasa OI --- build/.gitignore | 1 + 1 file changed, 1 insertion(+) (limited to 'build') diff --git a/build/.gitignore b/build/.gitignore index 41d7a24..3c56997 100644 --- a/build/.gitignore +++ b/build/.gitignore @@ -5,6 +5,7 @@ *.log *.out *.pdf +*.pdf.tmp *.toc images .asciidoctor -- cgit v1.1