# There is one binary (symlink) with the plain name (no version)
# with the corresponding manpage, that are the ones really used
# by the users.
binary-without-manpage usr/bin/gazebo-5.0.1
binary-without-manpage usr/bin/gz-5.0.1
binary-without-manpage usr/bin/gzclient-5.0.1
binary-without-manpage usr/bin/gzserver-5.0.1
