From 01bfa00d17b6a8d3bb50ff41ad9cd3bc0266a99a Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Thu, 1 Jun 2017 09:30:25 +0200
Subject: boilerplate for onboarding documentation

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .gitignore

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..cb2e452
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,3 @@
+doc/*
+!doc/*.texi
+!doc/*.txt
-- 
cgit v1.2.3