Re: Ada Reference Manual 2012 in info format

[Stephen Leake <stephen_leake@stephe-leake.org>]

"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:

> In Randy's defense too, the anchor matter is more a browser matter
> than an Ada‑RM source matter. Even in DocBook and others, you don't
> give  everything an identifier or name. You give one for some context,
> and then  access more specific components of that context with XPath
> and its  expressions. Ex. if browser would support it, you could
> access the nth  paragraph of a given chapter. Unfortunately, browsers
> don't. To give  anchors to everything would be too much.

What is the metric for "too much"?

If we were writing the source by hand, then inserting anchors everywhere
would be tedious, and thus "too much". 

But adding a few lines of code to arm_html.adb so it outputs more
anchors in appropriate places doesn't feel like "too much" to me.

I suppose it might slow down the page load time; would that actually be
significant?

Or it might slow down going to an anchor (a browser might do a linear
search); would that be noticable?

-- 
-- Stephe