[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Generate tags tables from Texinfo sources
From: |
Eli Zaretskii |
Subject: |
Re: [PATCH] Generate tags tables from Texinfo sources |
Date: |
Thu, 11 Mar 2021 16:44:18 +0200 |
> From: Petteri Hintsanen <petterih@iki.fi>
> Date: Mon, 08 Mar 2021 00:45:56 +0200
>
> Dear Emacs maintainers,
>
> Please find attached a patch for creating tags tables from Emacs Texinfo
> sources by `make tags'. I have found those tables helpful while
> learning Texinfo, and I would assume they're useful when editing the
> manuals as well.
Thanks, installed on the master branch.