[gazebo] 06/08: Install manpages

[Jose Luis Rivero]

This is an automated email from the git hooks/post-receive script.

jrivero-guest pushed a commit to branch master
in repository gazebo.

commit e8ec31eb404e1a1065d941bfe64773e817e1d836
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Tue Jun 24 01:00:25 2014 +0000

    Install manpages
---
 debian/gazebo3.install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/gazebo3.install b/debian/gazebo3.install
index 0835b7d..7064d63 100644
--- a/debian/gazebo3.install
+++ b/debian/gazebo3.install
@@ -2,3 +2,4 @@ usr/bin/gz*
 usr/bin/gazebo-*
 usr/share/gazebo/*
 usr/share/gazebo-*/setup.sh
+usr/share/man/man1/*

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gazebo.git