Laszlo (Laca) Peter wrote:
> So speaking about that, when the GNOME packages are imported
> into IPS, all the devel packages are merged with the end-user
> packages.  This includes 76M worth of API docs (/usr/share/gtk-doc,
> 9M compressed) among other things.  We could save significant
> amount of space on the CD by tagging and filtering out the devel
> bits.  If IPS filters were working (are they?) users could change
> the filters to install the development bits.  Just a thought...

Filters are not yet implemented.

-- 
Shawn Walker

Reply via email to