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: trei...@pps.univ-paris-diderot.fr <===== -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
