From a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7 Mon Sep 17 00:00:00 2001 From: root Date: Thu, 4 Jun 2026 16:24:49 -0500 Subject: Adding metadata --- .../devtools/files/devtools-0.12.2-mkdocs-hooks.patch | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 dev-python/devtools/files/devtools-0.12.2-mkdocs-hooks.patch (limited to 'dev-python/devtools/files/devtools-0.12.2-mkdocs-hooks.patch') diff --git a/dev-python/devtools/files/devtools-0.12.2-mkdocs-hooks.patch b/dev-python/devtools/files/devtools-0.12.2-mkdocs-hooks.patch deleted file mode 100644 index cb305922d3e0..000000000000 --- a/dev-python/devtools/files/devtools-0.12.2-mkdocs-hooks.patch +++ /dev/null @@ -1,17 +0,0 @@ -Replace mkdocs-simple-hooks with built-in hooks so we don't need to -pacakge the plugin. -https://www.mkdocs.org/user-guide/configuration/#hooks ---- a/mkdocs.yml -+++ b/mkdocs.yml -@@ -56,8 +56,5 @@ plugins: - - build/* - - examples/* - - requirements.txt --- mkdocs-simple-hooks: -- hooks: -- on_pre_build: 'docs.plugins:on_pre_build' -- on_files: 'docs.plugins:on_files' -- on_page_markdown: 'docs.plugins:on_page_markdown' -+hooks: -+ - docs/plugins.py - -- cgit v1.3.1