dev-python/devtools: add 0.12.2

Closes: https://bugs.gentoo.org/910242 Signed-off-by: Takuya Wakazono <pastalian46@gmail.com>
2026-07-13 17:13:00 -04:00 · 2025-01-10 00:18:56 +09:00
parent c4261146c8
commit 83aaf50591
3 changed files with 82 additions and 0 deletions
--- a/dev-python/devtools/files/devtools-0.12.2-mkdocs-hooks.patch
+++ b/dev-python/devtools/files/devtools-0.12.2-mkdocs-hooks.patch
@@ -0,0 +1,17 @@
+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
+