diff --git a/cranelift/docs/index.md b/cranelift/docs/index.md
index 9e0f216b66..be15d00d70 100644
--- a/cranelift/docs/index.md
+++ b/cranelift/docs/index.md
@@ -14,10 +14,6 @@
  - [Cranelift's register allocator](regalloc.md)
    This page document Cranelift's current register allocator.
    
- - [ISLE](isle.md)
-   This page documents the domain-specific language (DSL), ISLE, that
-   we use to define instruction-lowering patterns.
-
 ## Cranelift crate documentation:
 
  - [cranelift](https://docs.rs/cranelift)
diff --git a/cranelift/isle/README.md b/cranelift/isle/README.md
index 3662e9663c..e2fe56214c 100644
--- a/cranelift/isle/README.md
+++ b/cranelift/isle/README.md
@@ -30,8 +30,10 @@ level, the rules can be seen as simple equivalences between values in two
 languages, and so should be translatable to formal constraints or other logical
 specification languages.
 
-Some more details and motivation are in [BA RFC
-#15](https://github.com/bytecodealliance/rfcs/pull/15). Reference documentation can be found [here](../docs/isle.md).
+Some more details and motivation are in [BA RFC #15](https://github.com/bytecodealliance/rfcs/pull/15).
+Reference documentation can be found [here](docs/language-reference.md).
+Details on ISLE's integration into Cranelift can be found
+[here](../docs/isle-integration.md).
 
 ## Example Usage
 
diff --git a/cranelift/docs/isle.md b/cranelift/isle/docs/language-reference.md
similarity index 100%
rename from cranelift/docs/isle.md
rename to cranelift/isle/docs/language-reference.md