xref: /petsc/doc/.gitignore (revision 80ab5e31fb2bb9538e7952a0ebdda3c9178394af)