Re: [PATCH v4 16/18] Remove Texinfo related files from .gitignore and git.orderfile

[Richard Henderson]

On 3/9/20 8:44 AM, Peter Maydell wrote:
> We don't use Texinfo any more; we can remove the references to the
> .texi source files and the generated output files from our
> .gitignore and git.orderfile.
> 
> Signed-off-by: Peter Maydell <address@hidden>
> ---
>  .gitignore            | 15 ---------------
>  scripts/git.orderfile |  1 -
>  2 files changed, 16 deletions(-)

Reviewed-by: Richard Henderson <address@hidden>


r~