[gazebo] 07/07: Rename -doc files to correct name

[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 a78409768407ff13fcfdc6dfd7163721529eb852
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Mon Jun 30 15:54:41 2014 +0000

    Rename -doc files to correct name
---
 debian/{gazebo-doc.doc-base => gazebo3-doc.doc-base} | 0
 debian/{gazebo-doc.docs => gazebo3-doc.docs}         | 0
 2 files changed, 0 insertions(+), 0 deletions(-)

diff --git a/debian/gazebo-doc.doc-base b/debian/gazebo3-doc.doc-base
similarity index 100%
rename from debian/gazebo-doc.doc-base
rename to debian/gazebo3-doc.doc-base
diff --git a/debian/gazebo-doc.docs b/debian/gazebo3-doc.docs
similarity index 100%
rename from debian/gazebo-doc.docs
rename to debian/gazebo3-doc.docs

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