diff --git a/documentation/ref-manual/ref-tasks.xml b/documentation/ref-manual/ref-tasks.xml
index e6cf68670b..ccd0f85cfd 100644
--- a/documentation/ref-manual/ref-tasks.xml
+++ b/documentation/ref-manual/ref-tasks.xml
@@ -596,15 +596,6 @@
-
- do_rm_work_all
-
-
- Top-level task for removing work files after the build system has
- finished with them.
-
-
-