Thomas Huth <th...@redhat.com> writes: > On 07/09/2020 21.43, Philippe Mathieu-Daudé wrote: >> On 9/7/20 7:42 PM, Thomas Huth wrote: >>> Now that we always do out-of-tree builds (and the in-tree builds are >>> faked via a "build" directory), we can simplify out .gitignore file >>> quite a bit. >>> >>> Signed-off-by: Thomas Huth <th...@redhat.com> >>> --- >>> .gitignore | 158 ----------------------------------------------------- >>> 1 file changed, 158 deletions(-) >>> >>> diff --git a/.gitignore b/.gitignore >>> index 4ccb9ed975..bb916594eb 100644 >>> --- a/.gitignore >>> +++ b/.gitignore [...] >>> -*.[1-9] >>> -*.a >>> -*.aux >>> -*.cp >>> -*.exe >>> -*.msi >>> -*.dll >>> -*.so >>> -*.fn >>> -*.ky >> >> Need to double-check where this come from. > > Looking at 0cb3fb1e30a7789881e18 and some other commits, it seems like > these were once used for the qemu-doc PDF file generation. Should be ok > to remove them now since we moved to Sphinx.
The move isn't complete, yet: "[PATCH v5 00/20] Convert QAPI doc comments to generate rST instead of texinfo". Regardless, formatting documentation should not litter the source tree. [...]
