From 3a5d31a7141f8c36707a076fe35ab5b75fc1a049 Mon Sep 17 00:00:00 2001
From: Mike Swanson <mikeonthecomputer@gmail.com>
Date: Fri, 23 Aug 2019 22:40:52 -0700
Subject: [PATCH] manual: ignore built manual.pdf file

---
 manual/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 manual/.gitignore

diff --git a/manual/.gitignore b/manual/.gitignore
new file mode 100644
index 00000000..70c68db1
--- /dev/null
+++ b/manual/.gitignore
@@ -0,0 +1 @@
+manual.pdf