On Mar 12, 2012, at 1:43 PM, Sean Farley wrote: > 3. Move all private headers from include/private/ to include/petsc/ (convention adopted by hundreds of packages) or include/petsc-private/ (like Tk). > > I prefer include/petsc because petsc-private looks silly (and only Tk does it). > What you prefer doesn't matter.