On Fri, 2 Mar 2018, Satish Balay wrote: > nope - include/petscvec.h is listed in src/vec/vec/makefile which uses > MANSEC=Vec - so include/makefile just lists files that should go into > 'MANSEC=Sys'? Pushed this change. Satish