<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><br class="webkit-block-placeholder"></div>   Very valid point.<div><br class="webkit-block-placeholder"></div><div>   Barry</div><div><br><div><div>On Dec 14, 2007, at 7:37 PM, Dmitry Karpeev wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">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></blockquote></div><br></div></body></html>