From 6f8b05c0d0716c6e8241dd3cc76d0d3e6de47054 Mon Sep 17 00:00:00 2001
From: Frank Dellaert <frank@skyd.io>
Date: Wed, 30 Dec 2015 00:14:51 -0800
Subject: [PATCH] ignore some files

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

diff --git a/doc/.gitignore b/doc/.gitignore
index ac7af2e80..8a3139177 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1 +1,3 @@
 /html/
+*.lyx~
+*.bib~