Ubuntu
texinfo package

  1. Bug #394808
  2. Comment #2

Comment 2 for bug 394808

Revision history for this message
C de-Avillez (hggdh2) wrote :

I ran a quick test, using GIT texinfo. After building, './info/ginfo bash' displayed the correct menu.

So this is confirmed, and we have to find the fix in GIT.