Bug#556876: edos-debcheck: unknown option `-check'

[Ralf Treinen <Ralf.Treinen@pps.jussieu.fr>]

Hi,

On Tue, Nov 17, 2009 at 06:32:04PM -0600, Raphael Geissert wrote:
> Package: edos-debcheck
> Version: 1.0-9

1.0-9 is an empty transitional package for the transition to the
edos-distcheck package. Bug reassigned accordingly.

> > OPTIONS
> >        -check Double-check the results

this option is indeed no longer supported. Will fix the manpage.

> (yeah, I also intentionally highlighted the '$Revision$' part which was not 
> substituted)

not in he latest version provided by the edos-distcheck/1.4.2-5.

-Ralf.
-- 
Ralf Treinen
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.pps.jussieu.fr/~treinen/