From 781271daf8d18a6a4b66883cef9543cf8b1a80fa Mon Sep 17 00:00:00 2001 From: Antonio SJ Musumeci Date: Mon, 20 Oct 2025 00:01:32 -0500 Subject: [PATCH] deprecated_options.md --- mkdocs/docs/config/deprecated_options.md | 1 + 1 file changed, 1 insertion(+) 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.