Merge branch 'master' into buster

This commit is contained in:
Alexey Rogachevskiy
2019-11-18 17:17:56 +03:00
36 changed files with 293 additions and 70 deletions

View File

@@ -111,6 +111,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 \