[PPL-devel] [Bug 485623] docs in wrong directory

[bugzilla at redhat.com]

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 at cs.unipr.it> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |CLOSED
                 CC|                            |ppl-devel at cs.unipr.it
         Resolution|                            |NEXTRELEASE




--- Comment #1 from Roberto Bagnara <bagnara at 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.