Merge branch 'barry/2023-11-06/doc-cleanup-man-page-processing' into 'main'Move doc/classic materials to doc/manualpagesSee merge request petsc/petsc!7000
Move doc/classic materials to doc/manualpagesUpdate scripts and makefiles to process them in the new locations