summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2017-06-01 09:30:25 +0200
committerMarcello Stanisci <marcello.stanisci@inria.fr>2017-06-01 09:30:25 +0200
commit01bfa00d17b6a8d3bb50ff41ad9cd3bc0266a99a (patch)
treedab575b55f9bbbca4d7c15af453f14720e97c474 /.gitignore
parentdd8e82384c3e0ff999d8f23cc3de4e4443fdd833 (diff)
downloaddeployment-01bfa00d17b6a8d3bb50ff41ad9cd3bc0266a99a.tar.gz
deployment-01bfa00d17b6a8d3bb50ff41ad9cd3bc0266a99a.tar.bz2
deployment-01bfa00d17b6a8d3bb50ff41ad9cd3bc0266a99a.zip
boilerplate for onboarding documentation
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
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