Bug#687651: dose3 source does not clean properly so cannot be built twice
Hi,
in fact this bug was due to two things:
(1) a bug in the upstream makefile, with the result that make clean did not
remove all generated doc files
(2) the fact that the debian package for this version has to run aclocal and
autoconf due to an ommission in the upstream tarball, and as a consequence
modifie the ./configure file.
(1) is fixed now in the master branch of the upstream git reprository. (2)
should be resolved when the next upstream version does no longer require
to run aclocal and autoconf.
Cheers -Ralf.
--
Ralf Treinen
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.pps.univ-paris-diderot.fr/~treinen/
=====> New email address: treinen@pps.univ-paris-diderot.fr <=====
Reply to: