xref: /petsc/doc/.gitignore (revision fc3eb83c22be0eedfd551163d0b00bfc14ce0e8b)