[mlir][doc] Move documentation of extensible dialects
authorMathieu Fehr <mathieu.fehr@gmail.com>
Mon, 9 May 2022 22:37:13 +0000 (15:37 -0700)
committerRiver Riddle <riddleriver@gmail.com>
Mon, 9 May 2022 23:01:12 +0000 (16:01 -0700)
commit67d0bc27c0fde04a3e0c7130419eb1b8a5fda7db
tree7e29340b45ae9d6f95d0256c91b988a8d53a41cc
parentbe768164a7837bcb87cb6409731d23dc2c00dcfe
[mlir][doc] Move documentation of extensible dialects

Merge the documentation of the definition of extensible dialects
with the definition of dialects.

Reviewed By: rriddle

Differential Revision: https://reviews.llvm.org/D125200
mlir/docs/DefiningDialects.md
mlir/docs/ExtensibleDialects.md [deleted file]