Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: [PATCH] if available, use texi2any instead of texi2html

X-seq: zsh-workers 35259
From: Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>
To: zsh-workers@xxxxxxx
Subject: Re: [PATCH] if available, use texi2any instead of texi2html
Date: Thu, 21 May 2015 20:30:47 +0100
In-reply-to: <FF61B664-BB3D-49C7-8DAC-5FEF01FB48F8@kba.biglobe.ne.jp>
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
References: <FF61B664-BB3D-49C7-8DAC-5FEF01FB48F8@kba.biglobe.ne.jp>

On Fri, 22 May 2015 01:45:34 +0900
"Jun T." <takimoto-j@xxxxxxxxxxxxxxxxx> wrote:
> This is the patch to use texi2any if available.
> Please try if you have texinfo-5.

Couldn't see any obvious problem.

pws

References:
- [PATCH] if available, use texi2any instead of texi2html
  - From: Jun T.

Messages sorted by: Reverse Date, Date, Thread, Author