aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorlonkaars <loek@pipeframe.xyz>2022-11-19 17:50:39 +0100
committerlonkaars <loek@pipeframe.xyz>2022-11-19 17:50:39 +0100
commit27ef32dd82d69d2c8cdcae96cab713696399a281 (patch)
tree3cc134946b6d4e804b40a3062acbc1e27d52c8ef /.gitignore
parente4966d5a01ef5aef24527fb713232d152f057fef (diff)
small cleanup + fix pdf output of makefile
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 6a47ef4..32b66c5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,4 +16,5 @@ docs/gen/paged.polyfill.js
docs/*.html
docs/*.toc
docs/*.con
+docs/*.pdf
.obsidian