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

[Rafael Laboissière]

* Sébastien Villemot <sebastien at 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 at tracker.debian.org destination for push 
notifications worked properly.

Rafael