xref: /petsc/config/BuildSystem/docs/makefile (revision ef0d38e75d7103abd3b0bf20d7ba330872b7baa0)