diff options
author | Tsukasa OI <research_trasio@irq.a4lg.com> | 2023-08-11 10:19:45 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-08-10 20:19:45 -0500 |
commit | e57ca5d032730f870d9a253b5312cc75cb7df200 (patch) | |
tree | e883c4f904e1fbd37aa149a7ba26a283f968e095 /build | |
parent | ae4c41494f6483e6b44271916862ac084e698b4d (diff) | |
download | riscv-isa-manual-e57ca5d032730f870d9a253b5312cc75cb7df200.zip riscv-isa-manual-e57ca5d032730f870d9a253b5312cc75cb7df200.tar.gz riscv-isa-manual-e57ca5d032730f870d9a253b5312cc75cb7df200.tar.bz2 |
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>
Diffstat (limited to 'build')
-rw-r--r-- | build/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
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 |