Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=485623 Roberto Bagnara <bagnara@cs.unipr.it> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |CLOSED CC| |ppl-devel@cs.unipr.it Resolution| |NEXTRELEASE --- Comment #1 from Roberto Bagnara <bagnara@cs.unipr.it> 2009-02-19 01:14:51 EDT --- Fixed in ppl-0.10-8.fc11.*: # rpm -qlp ppl-0.10-8.fc11.x86_64.rpm | grep doc /usr/share/doc/ppl-0.10 /usr/share/doc/ppl-0.10/BUGS /usr/share/doc/ppl-0.10/COPYING /usr/share/doc/ppl-0.10/CREDITS /usr/share/doc/ppl-0.10/ChangeLog /usr/share/doc/ppl-0.10/NEWS /usr/share/doc/ppl-0.10/README /usr/share/doc/ppl-0.10/README.configure /usr/share/doc/ppl-0.10/TODO /usr/share/doc/ppl-0.10/gpl.pdf /usr/share/doc/ppl-0.10/gpl.ps.gz /usr/share/doc/ppl-0.10/gpl.txt Thanks! Roberto -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.