Add docs to gitignore.

Documentation tools create this folder that shall not be uploaded to git.
ros-drivers · Feb 19, 2016 · 80a1494 · 80a1494
1 parent 79c8d82
commit 80a1494
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,4 +2,5 @@
 *.tar.gz
 *~
 *.user
+doc
 TAGS