Identical attributes id="text-table-of-contents" of div with role="doc-toc" when exporting to html when using tables of contents for multiple subheadings

[Michel Damiens <michel.damiens@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 2370 bytes --]

Hello,

when exporting to html this org document :

     #+OPTIONS: toc:1
     * par 1
     #+TOC: headlines 1 local
     ** par 1.1
     ** par 1.2
     * par 2
     #+TOC: headlines 1 local
     ** par 2.1
     ** par 2.2

div's for toc (with role="org-toc") in subheadings par 1 and par 2 get the
same id : text-table-of-contents :

<div id="content" class="content">
     <nav id="table-of-contents" role="doc-toc">
          <h1>Table des matières</h1>
          <div id="text-table-of-contents" role="doc-toc">
               <ul>
                    <li><a href="#orge7077f6">par 1</a></li>
                    <li><a href="#orgca5c174">par 2</a></li>
               </ul>
          </div>
     </nav>
     <div id="outline-container-orge7077f6" class="outline-1">
          <h1 id="orge7077f6">par 1</h1>
          <div class="outline-text-1" id="text-orge7077f6">
              <div id="text-table-of-contents" role="doc-toc"> <------ HERE
                   <ul>
                         <li><a href="#org5bfbf2e">par 1.1</a></li>
                         <li><a href="#orgeae3ce8">par 1.2</a></li>
                   </ul>
              </div>
          </div>
          <div id="outline-container-org5bfbf2e" class="outline-2">
               <h2 id="org5bfbf2e">par 1.1</h2>
          </div>
          <div id="outline-container-orgeae3ce8" class="outline-2">
               <h2 id="orgeae3ce8">par 1.2</h2>
          </div>
     </div>
     <div id="outline-container-orgca5c174" class="outline-1">
          <h1 id="orgca5c174">par 2</h1>
          <div class="outline-text-1" id="text-orgca5c174">
               <div id="text-table-of-contents" role="doc-toc"> <------ HERE
                    <ul>
                        <li><a href="#orgc022296">par 2.1</a></li>
                        <li><a href="#org47cca7f">par 2.2</a></li>
                    </ul>
               </div>
          </div>
          <div id="outline-container-orgc022296" class="outline-2">
               <h2 id="orgc022296">par 2.1</h2>
          </div>
          <div id="outline-container-org47cca7f" class="outline-2">
               <h2 id="org47cca7f">par 2.2</h2>
          </div>
     </div>
</div>

Is it possible to differentiate them in modifying some export option ?

Thanks for your help.
Michel

[-- Attachment #2: Type: text/html, Size: 3663 bytes --]