Fix up "see also" entries in indexes, in HTML output.
authorJeremy Harris <jgh@wizmail.org>
Fri, 1 Jul 2022 20:47:44 +0000 (21:47 +0100)
committerJeremy Harris <jgh@wizmail.org>
Fri, 1 Jul 2022 20:50:35 +0000 (21:50 +0100)
commitde2fd2d4a4953f5ae02420a4bbbc217388e3a691
tree83c618fcef271d3d4e3b30d891b491780106b06e
parente587d5d609e5f0e64dc40bc10ef70eba585fd7a9
Fix up "see also" entries in indexes, in HTML output.

Not perfect, but better than it was (it used to show
a link to the Intro chapter).
script/gen