On Mon, 22 Feb 2010 22:06 +0100, "Ralf Wildenhues" wrote: > * Charles Wilson wrote on Sun, Feb 21, 2010 at 09:09:37PM CET: > > Ralf Wildenhues wrote: > > > > > Don't you need to repeat the menu entry somewhere in the toplevel > > > @detailmenu? > > > > Didn't know about detailmenu. Fixed. > > This has me stumped. The entry was added to the wrong menu,
Oh, OK. I didn't realize the detailmenu needed to follow a table-of-contents order of presentation; I thought it was more like a detailed index for "important" sections (e.g. just a table of important cross-references). And, in that vein, "Wrapper executables for some platforms." sounded like it fit pretty well under "Platform Quirks". Anyhow, thanks for fixing. -- Chuck
