Re: [PATCH v4 14/18] Makefile: Remove redundant Texinfo related rules

[Richard Henderson]

On 3/9/20 8:44 AM, Peter Maydell wrote:
> We now don't build anything from Texinfo, so we can remove
> some redundant Makefile pattern rules and the rule for
> generating the version.texi file that used to be included
> from many Texinfo source files.
> 
> Signed-off-by: Peter Maydell <address@hidden>
> ---
>  Makefile  | 31 +------------------------------
>  rules.mak | 14 +-------------
>  2 files changed, 2 insertions(+), 43 deletions(-)

Reviewed-by: Richard Henderson <address@hidden>


r~