xref: /petsc/doc/.gitignore (revision 856bee69f0e0908e75ff837867b1777dfb1ced96)