On Tue, 20 Oct 2009 10:49:50 +0200, Werner Koch wrote: Hi, > That is a Debian vs GNU conflict. As a hack you can set the envvar > > DPKG_RUNNING_VERSION > > to some value. See /usr/bin/install-info. Ah, thanks a lot ! -- Colin