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

[Rafael Laboissiere]

* Thomas Weber <tweber at 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