Re: [Pkg-octave-devel] Getting rid of the menu file

[Rafael Laboissiere <rafael@laboissiere.net>]

* Thomas Weber <tweber@debian.org> [2016-01-06 22:43]:

> On Wed, Jan 06, 2016 at 12:12:25PM +0100, Sébastien Villemot wrote:
> > Le dimanche 27 décembre 2015 à 11:14 +0100, Rafael Laboissiere a écrit :
> > > [snip] I think that we can remove octave-htmldoc.doc-base.
> > >
> > > What do you think?
> >
> > The files were added by Thomas in commit 0f694231, so maybe he could 
> > enlighten us on their purpose?
>
> That was 4 years ago. Sorry, I don't remember the reasons why the file 
> looks like this.

In my sentence above, I meant "I think that we can remove 
octave-htmldoc.menu", of course.  This is what I just did [commit 
b5431df].

Thanks,

Rafael