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