From 2fe5223c72107730f269159503308789a53226fe Mon Sep 17 00:00:00 2001
From: Florian Dold <florian@dold.me>
Date: Tue, 8 Mar 2022 21:56:38 +0100
Subject: add missing files for system documentation book

---
 doc/system/.gitignore | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/system/.gitignore')

diff --git a/doc/system/.gitignore b/doc/system/.gitignore
index 3156fa055..368efd05f 100644
--- a/doc/system/.gitignore
+++ b/doc/system/.gitignore
@@ -1,5 +1,7 @@
 thesis.pdf
 thesis-*.pdf
+system.pdf
+system-*.pdf
 thesis.out
 summary/summary-english.pdf
 *-converted-to.pdf
-- 
cgit v1.2.3