Bug#603335: menhir: Examples are installed twice

2010-11-13 Thread Stéphane Glondu
tags 603335 + pending thanks Le 13/11/2010 08:16, Marc Mezzarobba a écrit : > The files from the demos/ subdirectory of the upstream tarball get > installed both in /usr/share/doc/menhir/demos and in > /usr/share/doc/menhir/examples. Fixed in git. Cheers, -- Stéphane -- To UNSUBSCRIBE, em

Bug#603335: menhir: Examples are installed twice

2010-11-12 Thread Marc Mezzarobba
Package: menhir Version: 20090505.dfsg-2+b1 Severity: minor The files from the demos/ subdirectory of the upstream tarball get installed both in /usr/share/doc/menhir/demos and in /usr/share/doc/menhir/examples. /usr/share/doc/menhir$ diff -r demos examples /usr/share/doc/menhir$ -- System Info