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 <peter.mayd...@linaro.org> > --- > .gitignore | 15 --------------- > scripts/git.orderfile | 1 - > 2 files changed, 16 deletions(-)
Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~
