From 8faf075fd71553ac6d74a869b42c7f3afc0331a2 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sun, 22 Sep 2019 09:11:56 +0200
Subject: [PATCH] git: update ignores

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

diff --git a/doc/.gitignore b/doc/.gitignore
index 31d36f60..052a02a7 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -31,3 +31,5 @@
 /version.texi
 /yacc.1
 /relocatable.texi
+/figs/*.eps
+/figs/*.svg
\ No newline at end of file