[Bug 849175] Review Request: GAPDoc - GAP documentation tool

[bugzilla at redhat.com]

https://bugzilla.redhat.com/show_bug.cgi?id=849175

pcpa <paulo.cesar.pereira.de.andrade at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
              Flags|fedora-review?              |fedora-review+

--- Comment #6 from pcpa <paulo.cesar.pereira.de.andrade at gmail.com> ---
I think this is not much of an issue:

$ du -sh /usr/share/gap/pkg/
64M     /usr/share/gap/pkg/
$ du -sh /usr/share/gap/pkg/GAPDoc-1.3/
3.8M    /usr/share/gap/pkg/GAPDoc-1.3/
$ du -sh /usr/share/gap/pkg/GAPDoc-1.3/3k+1/
200K    /usr/share/gap/pkg/GAPDoc-1.3/3k+1/

as it would not be "exactly" a GAPDoc-doc subpackage, that
does not sound very well :-), if having only the 3k+1
example dir, as the doc and example subdirs need to be
in the main package.

I do not see any remaining issues, and as I have already
said, I did not even add GAPDoc when updating 
https://fedoraproject.org/wiki/SIGs/SciTech/SAGE
because I thought it was already in Fedora, but I had downloaded
and built it from your homepage several months ago.

I consider the package approved.

-- 
You are receiving this mail because:
You are on the CC list for the bug.