diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/user-guide/toc.html | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/docs/user-guide/toc.html b/docs/user-guide/toc.html index 9b88c78ab..8f9b4e181 100644 --- a/docs/user-guide/toc.html +++ b/docs/user-guide/toc.html @@ -115,14 +115,14 @@ <li data-link="targets#summary"><span>Summary</span></li> </ul> </li> -<li data-link="targets"><span>Link-time Specialization and Module Precompilation</span> -<ul class="toc_list"> -<li data-link="targets#link-time-constants"><span>Link-time Constants</span></li> -<li data-link="targets#link-time-types"><span>Link-time Types</span></li> -<li data-link="targets#providing-default-settings"><span>Providing Default Settings</span></li> -<li data-link="targets#restrictions"><span>Restrictions</span></li> -<li data-link="targets#using-precompiling-modules-with-the-api"><span>Using Precompiling Modules with the API</span></li> -<li data-link="targets#additional-remarks"><span>Additional Remarks</span></li> +<li data-link="link-time-specialization"><span>Link-time Specialization and Module Precompilation</span> +<ul class="toc_list"> +<li data-link="link-time-specialization#link-time-constants"><span>Link-time Constants</span></li> +<li data-link="link-time-specialization#link-time-types"><span>Link-time Types</span></li> +<li data-link="link-time-specialization#providing-default-settings"><span>Providing Default Settings</span></li> +<li data-link="link-time-specialization#restrictions"><span>Restrictions</span></li> +<li data-link="link-time-specialization#using-precompiling-modules-with-the-api"><span>Using Precompiling Modules with the API</span></li> +<li data-link="link-time-specialization#additional-remarks"><span>Additional Remarks</span></li> </ul> </li> <li data-link="a1-special-topics"><span>Special Topics</span> |