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