From 44e7227e4665994158860f1f1e1b6a452b81d6b7 Mon Sep 17 00:00:00 2001
From: MLIR Team <no-reply@google.com>
Date: Tue, 29 Oct 2019 13:38:32 -0700
Subject: [PATCH] Add "[TOC]" to generated documentation

PiperOrigin-RevId: 277354482
---
 tools/mlir-tblgen/OpDocGen.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/mlir-tblgen/OpDocGen.cpp b/tools/mlir-tblgen/OpDocGen.cpp
index a628c7de2172..ff442f1d57f6 100644
--- a/tools/mlir-tblgen/OpDocGen.cpp
+++ b/tools/mlir-tblgen/OpDocGen.cpp
@@ -95,6 +95,9 @@ static void emitOpDocForDialect(const Dialect &dialect,
   emitIfNotEmpty(dialect.getSummary(), os);
   emitIfNotEmpty(dialect.getDescription(), os);
 
+  // TODO(b/143543720) Generate TOC where extension is not supported.
+  os << "[TOC]\n\n";
+
   // TODO(antiagainst): Add link between use and def for types
   if (!types.empty())
     os << "## Type definition\n";