diff --git a/cranelift/docs/heap.dot b/cranelift/docs/heap.dot
deleted file mode 100644
index 1c46f22b321d..000000000000
--- a/cranelift/docs/heap.dot
+++ /dev/null
@@ -1,8 +0,0 @@
-digraph {
-        node [
-              shape=record,
-              fontsize=10,
-              fontname="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans"
-        ]
-        "static" [label="mapped\npages|unmapped\npages|offset_guard\npages"]
-}
diff --git a/cranelift/docs/heap.svg b/cranelift/docs/heap.svg
deleted file mode 100644
index e668f3e8deae..000000000000
--- a/cranelift/docs/heap.svg
+++ /dev/null
@@ -1,26 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
- "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 2.42.3 (0)
- -->
-<!-- Title: %3 Pages: 1 -->
-<svg width="209pt" height="45pt"
- viewBox="0.00 0.00 209.00 45.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
-<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 41)">
-<title>%3</title>
-<polygon fill="white" stroke="transparent" points="-4,4 -4,-41 205,-41 205,4 -4,4"/>
-<!-- static -->
-<g id="node1" class="node">
-<title>static</title>
-<polygon fill="none" stroke="black" points="0,-0.5 0,-36.5 201,-36.5 201,-0.5 0,-0.5"/>
-<text text-anchor="middle" x="28" y="-21.5" font-family="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans" font-size="10.00">mapped</text>
-<text text-anchor="middle" x="28" y="-10.5" font-family="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans" font-size="10.00">pages</text>
-<polyline fill="none" stroke="black" points="56,-0.5 56,-36.5 "/>
-<text text-anchor="middle" x="90" y="-21.5" font-family="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans" font-size="10.00">unmapped</text>
-<text text-anchor="middle" x="90" y="-10.5" font-family="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans" font-size="10.00">pages</text>
-<polyline fill="none" stroke="black" points="124,-0.5 124,-36.5 "/>
-<text text-anchor="middle" x="162.5" y="-21.5" font-family="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans" font-size="10.00">offset_guard</text>
-<text text-anchor="middle" x="162.5" y="-10.5" font-family="Vera Sans, DejaVu Sans, Liberation Sans, Arial, Helvetica, sans" font-size="10.00">pages</text>
-</g>
-</g>
-</svg>