From 2e9652d71fb8fd0ef602595698a77d64a0f86808 Mon Sep 17 00:00:00 2001 From: Wolfgang Hess Date: Fri, 2 Sep 2016 12:25:57 +0200 Subject: [PATCH] libwebp-dev is now handled by rosdep. (#46) --- docs/source/index.rst | 1 - scripts/install.sh | 5 ++--- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/docs/source/index.rst b/docs/source/index.rst index 5285228..61cfd9e 100644 --- a/docs/source/index.rst +++ b/docs/source/index.rst @@ -54,7 +54,6 @@ using `Ninja `_. wstool update # Install deb dependencies. - sudo apt-get install -y libwebp-dev # TODO(whess): Move to rosdep. rosdep update rosdep install --from-paths src --ignore-src --rosdistro=${ROS_DISTRO} -y diff --git a/scripts/install.sh b/scripts/install.sh index 6ef1cbb..aeb4646 100755 --- a/scripts/install.sh +++ b/scripts/install.sh @@ -17,10 +17,9 @@ set -o errexit set -o verbose -# Install deb dependencies. +# Install Ninja. sudo apt-get update -# TODO(whess): Move libwebp-dev to rosdep. -sudo apt-get install -y ninja-build libwebp-dev +sudo apt-get install -y ninja-build . /opt/ros/${ROS_DISTRO}/setup.sh