[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v4 15/18] scripts/texi2pod: Delete unused script
|
From: |
Richard Henderson |
|
Subject: |
Re: [PATCH v4 15/18] scripts/texi2pod: Delete unused script |
|
Date: |
Tue, 10 Mar 2020 23:29:51 -0700 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 |
On 3/9/20 8:44 AM, Peter Maydell wrote:
> We no longer need the texi2pod script, so we can delete it, and
> the special-casing it had in the checkpatch script.
>
> Signed-off-by: Peter Maydell <address@hidden>
> ---
> scripts/checkpatch.pl | 2 +-
> scripts/texi2pod.pl | 536 ------------------------------------------
> 2 files changed, 1 insertion(+), 537 deletions(-)
> delete mode 100755 scripts/texi2pod.pl
Reviewed-by: Richard Henderson <address@hidden>
r~
- Re: [PATCH v4 09/18] docs/interop: Convert qemu-qmp-ref to rST, (continued)
- [PATCH v4 13/18] docs/devel/qapi-code-gen.txt: Update to new rST backend conventions, Peter Maydell, 2020/03/09
- [PATCH v4 12/18] scripts/qapi: Remove texinfo generation support, Peter Maydell, 2020/03/09
- [PATCH v4 11/18] qga/qapi-schema.json: Add some headings, Peter Maydell, 2020/03/09
- [PATCH v4 14/18] Makefile: Remove redundant Texinfo related rules, Peter Maydell, 2020/03/09
- [PATCH v4 15/18] scripts/texi2pod: Delete unused script, Peter Maydell, 2020/03/09
- Re: [PATCH v4 15/18] scripts/texi2pod: Delete unused script,
Richard Henderson <=
- [PATCH v4 16/18] Remove Texinfo related files from .gitignore and git.orderfile, Peter Maydell, 2020/03/09
- [PATCH v4 17/18] configure: Drop texinfo requirement, Peter Maydell, 2020/03/09
- [PATCH v4 18/18] Remove texinfo dependency from docker and CI configs, Peter Maydell, 2020/03/09
- Re: [PATCH v4 00/18] Convert QAPI doc comments to generate rST instead of texinfo, Markus Armbruster, 2020/03/11