If maint/ is going into bin/maint/, I think config/ should also go to bin/config/<br>(I think someone already suggested it).  The reason is that these are auxiliary scripts<br>used to configure and build PETSc.  Their output -- the actual PETSc configuration -- 
<br>goes into conf/ and ${PETSC_ARCH}/conf and everything makes sense.<br><br>Besides, there is no need to install bin/config/ and violate one standard or another, <br>since an installation implies a particular configuration, which is already in 
<br>conf/ etc.<br><br>Dmitry.<br><br><div><span class="gmail_quote">On 12/14/07, <b class="gmail_sendername">Satish Balay</b> <<a href="mailto:balay@mcs.anl.gov">balay@mcs.anl.gov</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Reforwarding e-mail blocked by majordomo [reason: ^config is special<br>command to majordomo]<br><br>Satish<br><br>---------- Forwarded message ----------<br>From: Barry Smith <<a href="mailto:bsmith@mcs.anl.gov">bsmith@mcs.anl.gov
</a>><br>To: <a href="mailto:petsc-dev@mcs.anl.gov">petsc-dev@mcs.anl.gov</a><br>Subject: changes to petsc-dev directories<br>Date: Sat, 8 Dec 2007 21:55:10 -0600<br><br>     I have moved python/PETSc to config/PETSc and python/BuildSystem to
<br>  config/BuildSystem<br>  in addition I have moved the maint directory to bin/maint and removed<br>  conf/rules.basic.shared<br><br>  After your next hg pull do:<br>  mv python/BuildSystem config<br>  rm -rf python<br>
<br>    Any user makefiles and code should not need any changes<br><br>      Barry<br><br><br></blockquote></div><br>