diff options
Diffstat (limited to 'docs/CommandGuide/index.html')
| -rw-r--r-- | docs/CommandGuide/index.html | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/docs/CommandGuide/index.html b/docs/CommandGuide/index.html index 74a70dc883..22fd85af9b 100644 --- a/docs/CommandGuide/index.html +++ b/docs/CommandGuide/index.html @@ -132,7 +132,21 @@ options) arguments to the tool you are interested in.</p> represents)</li> </ul> +</div> + +<!-- *********************************************************************** --> +<div class="doc_section"> + <a name="internal">Internal Tools</a> +</div> +<!-- *********************************************************************** --> +<div class="doc_text"> +<ul> + +<li><a href="html/tblgen.html"><b>tblgen</b></a> - + target description reader and generator</li> + +</ul> </div> <!-- *********************************************************************** --> |