On Sun, Feb 23, 2025 at 03:51:47PM +, Gavin Smith wrote:
> I've commited code to use a hook program under
> "XDG_CONFIG_DIRS/texinfo/info-hooks/manual-not-found", where XDG_CONFIG_DIRS
> could be e.g. $HOME/.config or /etc/xdg.
Previous discussion:
https://lists.gnu.org/archive/html/bug-texin
On Tue, Jul 15, 2025 at 02:27:05PM +0300, Eli Zaretskii wrote:
> > It would be good in my opinion to get rid of the @vskip line as it
> > looks ugly and confusing and probably turns people off.
>
> I think this calls for some research: how many manuals do NOT use the
> standard @vskip line, and if
> From: Gavin Smith
> Date: Mon, 14 Jul 2025 21:13:20 +0100
>
> On Mon, Jun 30, 2025 at 11:30:30PM +0100, Gavin Smith wrote:
> > So just using @maketitle to produce the copyright page too is
> > a real possibility.
>
> So I've been seeing what I can implement in texinfo.tex as a prototype
> for
