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

Reply via email to