Re: [Pkg-octave-devel] Merging octave-{doc,info,htmldoc}

[Rafael Laboissière <rafael@debian.org>]

* Sébastien Villemot <sebastien@debian.org> [2018-01-07 12:35]:

> [snip
>
> > > > Currently we have 3 doc packages for octave, that ship the same 
> > > > material under different formats: - octave-doc: PDF format, 
> > > > compressed deb ~5Mb, unpacked ~5.4Mb - octave-htmldoc: HTML format, 
> > > > compressed deb ~1.5Mb, unpacked ~12.5Mb - octave-info: info format, 
> > > > compressed deb ~1Mb, unpacked ~1Mb
>
> [snip]

> Thanks, I pushed that change.

Just FYI, the dispatch+octave_vcs@tracker.debian.org destination for push 
notifications worked properly.

Rafael