Re: HTML docs and Hyperlinks

[Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>]

> On 21 April 2022 at 01:31 Lawrence Velázquez <larryv@xxxxxxx> wrote:
> On Wed, Apr 20, 2022, at 6:42 PM, Bart Schaefer wrote:
> > On Wed, Apr 20, 2022 at 12:41 PM Zach Riggle <zachriggle@xxxxxxxxx> wrote:
> >> Separately, would Zsh be willing to accept a post-processing
> >> step to the HTML documentation to add things post-hoc?  This
> >> will likely require some Python libraries being included in
> >> the process of building the docs.
> >
> > We've used Perl for such post-processing so far (e.g.,
> > Util/helpfiles); I can't speak to whether python is now so
> > ubiquitous that creating a dependency on it would be a non-issue.
> 
> I would rather not introduce another dependency if it can be avoided.

I agree, this would at the least be another version management headache
we could well do without.

Adding a few simple fix-ups should be doable without external dependencies.

pws