docs: move devguide to sphinx for more powerful markup

rickeylev · rickeylev · commit 7695a731b548 · 2025-05-17T16:53:27.000-07:00
diff --git a/docs/devguide.md b/docs/devguide.md
@@ -1,4 +1,4 @@
-# For Developers
+# Dev Guide
 
 This document covers tips and guidance for working on the rules_python code
 base. A primary audience for it is first time contributors.
diff --git a/docs/index.md b/docs/index.md
@@ -104,6 +104,7 @@ gazelle
 REPL <repl>
 Extending <extending>
 Contributing <contributing>
+devguide
 support
 Changelog <changelog>
 api/index

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# For Developers`
	`1`	`+# Dev Guide`
`2`	`2`
`3`	`3`	`This document covers tips and guidance for working on the rules_python code`
`4`	`4`	`base. A primary audience for it is first time contributors.`