From 98e1842427786aca9d04c56dbbbefb21809c4ef5 Mon Sep 17 00:00:00 2001
From: lethosor <lethosor@gmail.com>
Date: Sat, 23 Dec 2017 21:15:16 -0500
Subject: [PATCH] List removed scripts to silence docs-related build failure

---
 docs/Scripts-removed.rst | 14 ++++++++++++++
 index.rst                |  1 +
 2 files changed, 15 insertions(+)
 create mode 100644 docs/Scripts-removed.rst

diff --git a/docs/Scripts-removed.rst b/docs/Scripts-removed.rst
new file mode 100644
index 000000000..4490110ba
--- /dev/null
+++ b/docs/Scripts-removed.rst
@@ -0,0 +1,14 @@
+###############
+Removed scripts
+###############
+
+The following scripts were removed for various reasons.
+
+.. contents::
+   :depth: 2
+
+.. _warn-stuck-trees:
+
+warn-stuck-trees
+================
+The corresponding DF bug, :bug:`9252` was fixed in DF 0.44.01.
diff --git a/index.rst b/index.rst
index 1f647907b..5cba99e2c 100644
--- a/index.rst
+++ b/index.rst
@@ -50,6 +50,7 @@ Other Contents
    /docs/Authors
    /LICENSE
    /NEWS
+   /docs/Scripts-removed
 
 For Developers
 ==============