image: make documentation files ignored by catkin for speeding up roslaunch (#184)

This commit is contained in:
Oleg Kalachev
2019-10-29 23:05:45 +03:00
committed by GitHub
parent 7bbbba31be
commit b75a40b9ad

View File

@@ -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 \