Bug#1098495: pinball-dev: installs pinball-dev into both /usr/bin and /usr/games

[Chris Hofstaedtler]

Package: pinball-dev
Version: 0.3.20230219-2

Hi,

your package pinball-dev installs these two files, both part of the
default PATH:

/usr/bin/pinball-config
/usr/games/pinball-config

Please install into only one of these. I'd recommend installing into
/usr/bin, to avoid future name clashes in PATH.

Chris