Bug#736272: [Pkg-haskell-maintainers] Bug#736272: agda-mode binary is in /usr/share/doc/agda-mode, should be in /usr/bin

2014-01-22 Thread Iain Lane
On Tue, Jan 21, 2014 at 02:27:33PM -0500, Jason Gross wrote: > Package: agda-mode > Version: 2.3.0.1-1build2 > Severity: important > > Dear Maintainer, > > After installing agda-mode with 'sudo apt-get install agda-mode', I have an > agda-mode binary in /usr/share/doc/agda-mode, which is not in

Bug#736272: agda-mode binary is in /usr/share/doc/agda-mode, should be in /usr/bin

2014-01-21 Thread Jason Gross
Package: agda-mode Version: 2.3.0.1-1build2 Severity: important Dear Maintainer, After installing agda-mode with 'sudo apt-get install agda-mode', I have an agda-mode binary in /usr/share/doc/agda-mode, which is not in PATH by default. It should instead be in /usr/bin or similar, so that it is