> From: Vincent Belaïche <[email protected]> > CC: "[email protected]" <[email protected]>, "[email protected]" > <[email protected]> > Date: Sun, 24 Jun 2018 20:34:26 +0000 > > I agree it is a bit strange, but the reason for it is simple : I would > like a single entry point for all the manuals installed on my PC, so > that my old and tired brain does not have to remember where the manual > is located, and what format is it written in. So it would be nice if all > the manuals were just listed in the info top level menu.
That's not the strange part. The strange part is to reference an HTML document from a Texinfo document.
