Re: How is the Lua manual made?

[Paul Merrell <marbux@...>]

On Thu, Jun 26, 2014 at 2:33 AM, Gavin Wraith <gavin@wra1th.plus.com> wrote:

> Do not forget tooltips (using CSS). They can be a big help in exegesis.

Agreed. That Drupal glossary module I pointed to displays the
definition in a tooltip when you mouse over a defined term.

> I made a script to split the manual into smaller pieces (and adjust
> the links accordingly). One big html file can be a mouthful.

Is that a script you'd be willing to share? I may have time to
actually tackle putting the manual online in a form that can be
annotated in the fall of this year.

Paul


-- 
[Notice not included in the above original message:  The U.S. National
Security Agency neither confirms nor denies that it intercepted this
message.]