scripts/texi2pod: Delete unused script
commit7a470a37b0c04caea574fc2e6db5429c203c8f35
authorPeter Maydell <peter.maydell@linaro.org>
Fri, 25 Sep 2020 16:23:13 +0000 (25 17:23 +0100)
committerMarkus Armbruster <armbru@redhat.com>
Tue, 29 Sep 2020 15:55:39 +0000 (29 17:55 +0200)
tree949b515c83bc7783015ec40a945ad8a30ae11bb3
parent55ec69f8b16d9ef03076fbaa0a9f97279218c29c
scripts/texi2pod: Delete unused script

We no longer need the texi2pod script, so we can delete it, and
the special-casing it had in the checkpatch script.

Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Message-Id: <20200925162316.21205-19-peter.maydell@linaro.org>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
scripts/checkpatch.pl
scripts/texi2pod.pl [deleted file]