div class="sphinxsidebarwrapper">
  <h4>Previous topic</h4>
  <p class="topless"><a href="HAS_CXX.html"
                        title="previous chapter">HAS_CXX</a></p>
  <h4>Next topic</h4>
  <p class="topless"><a href="HEADER_DIRS_NAME.html"
                        title="next chapter">HEADER_DIRS_&lt;NAME&gt;</a></p>
  <div role="note" aria-label="source link">
    <h3>This Page</h3>
    <ul class="this-page-menu">
      <li><a href="../_sources/prop_tgt/HEADER_DIRS.rst.txt"
            rel="nofollow">Sh