From b75a40b9ad695a261dfa66ce9cf8b67dd100d5e7 Mon Sep 17 00:00:00 2001
From: Oleg Kalachev <okalachev@gmail.com>
Date: Tue, 29 Oct 2019 23:05:45 +0300
Subject: [PATCH] image: make documentation files ignored by catkin for
 speeding up roslaunch (#184)

---
 builder/image-ros.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/builder/image-ros.sh b/builder/image-ros.sh
index b493f1c2..b37f8d14 100755
--- a/builder/image-ros.sh
+++ b/builder/image-ros.sh
@@ -165,6 +165,7 @@ cd /home/pi/catkin_ws/src/clever
 NPM_CONFIG_UNSAFE_PERM=true npm install gitbook-cli -g
 NPM_CONFIG_UNSAFE_PERM=true gitbook install
 gitbook build
+touch node_modules/CATKIN_IGNORE docs/CATKIN_IGNORE _book/CATKIN_IGNORE  # ignore documentation files by catkin
 
 echo_stamp "Installing additional ROS packages"
 apt-get install -y --no-install-recommends \