help / color / mirror / code / Atom feed
From: "Lawrence Velázquez" <larryv@zsh.org>
To: zsh-users@zsh.org
Subject: Re: HTML docs and Hyperlinks
Date: Wed, 20 Apr 2022 20:31:01 -0400	[thread overview]
Message-ID: <840d4377-7b82-44b7-a7b5-95b092e7ad15@www.fastmail.com> (raw)
In-Reply-To: <CAH+w=7bk1+9cpAAVKrhbbhm7VCXQdG87ouJ+JWsadAO7Uc+0FQ@mail.gmail.com>

On Wed, Apr 20, 2022, at 6:42 PM, Bart Schaefer wrote:
> On Wed, Apr 20, 2022 at 12:41 PM Zach Riggle <zachriggle@gmail.com> 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.


  reply	other threads:[~2022-04-21  0:32 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-04-20 19:40 Zach Riggle
2022-04-20 20:51 ` Ray Andrews
2022-04-20 21:05 ` Mikael Magnusson
2022-04-20 22:42 ` Bart Schaefer
2022-04-21  0:31   ` Lawrence Velázquez [this message]
2022-04-21 11:38     ` Peter Stephenson

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=840d4377-7b82-44b7-a7b5-95b092e7ad15@www.fastmail.com \
    --to=larryv@zsh.org \
    --cc=zsh-users@zsh.org \
    --subject='Re: HTML docs and Hyperlinks' \


* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

Code repositories for project(s) associated with this inbox:


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).