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 <research_trasio@irq.a4lg.com>
riscv · Aug 11, 2023 · e57ca5d · e57ca5d
1 parent ae4c414
commit e57ca5d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build/.gitignore b/build/.gitignore
@@ -5,6 +5,7 @@
 *.log
 *.out
 *.pdf
+*.pdf.tmp
 *.toc
 images
 .asciidoctor