tree 949b515c83bc7783015ec40a945ad8a30ae11bb3
parent 55ec69f8b16d9ef03076fbaa0a9f97279218c29c
author Peter Maydell <peter.maydell@linaro.org> 1601050993 +0100
committer Markus Armbruster <armbru@redhat.com> 1601394939 +0200

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>