ese files – see below). Otherwise, 
            by default they are located in the current working directory.
        </p>
          <div class="sect3" lang="en" xml:lang="en">
            <div class="titlepage">
              <div>
                <div>
                  <h4 class="title"><a id="envhome"></a>Specifying the Environment Home Directory</h4>
                </div>
              </div>
            </div>
            <p>
                The environment home directory is used to determine where