xref: /petsc/doc/.gitignore (revision 9f6c5813ffeecb45a0639e420bc498206491e905)