diff --git a/mkdocs/docs/config/deprecated_options.md b/mkdocs/docs/config/deprecated_options.md
index 5dfda62f..69a219d4 100644
--- a/mkdocs/docs/config/deprecated_options.md
+++ b/mkdocs/docs/config/deprecated_options.md
@@ -14,6 +14,7 @@ function or have been replaced. **They should not be used.**
 * **hard_remove**: Does nothing.
 * **kernel_cache**: Use `cache.files=full`.
 * **negative_entry**: Use `cache.negative_entry`.
+* **nonempty**: Does nothing.
 * **splice_move**: Does nothing.
 * **splice_read**: Does nothing.
 * **splice_write**: Does nothing.