<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="gmail_quote"><div>I agree that petsc/include/petsc is stupid. I see no reason to change the perfectly logical include/private just to match what</div>


<div>some idiot programmers did.</div></div></blockquote><div><br></div><div>Huh? So, if I install petsc with a --prefix, and (god-forbid!) some other project also has a 'private' directory, then there's now a conflict. Jed isn't just pulling this convention out of his ass here.</div>

</div>