1*aaa8cc7dSPierre JolivetSetting option: help = intro (source: file) 273fdd05bSBarry SmithSee https://petsc.org/release/changes for recent updates. 373fdd05bSBarry SmithSee https://petsc.org/release/faq for problems. 473fdd05bSBarry SmithSee https://petsc.org/release/manualpages for help. 5