Highlight development_setup code snippets as bash, not python.

anntzer · anntzer · commit 8c61611a7233 · 2024-03-15T11:07:58.000+01:00
This looks much better and is consistent with development_workflow.rst
and release_guide.rst, which rely on the same mechanism.
diff --git a/doc/devel/development_setup.rst b/doc/devel/development_setup.rst
@@ -1,3 +1,5 @@
+.. highlight:: bash
+
 .. redirect-from:: /devel/gitwash/configure_git
 .. redirect-from:: /devel/gitwash/dot2_dot3
 .. redirect-from:: /devel/gitwash/following_latest

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+.. highlight:: bash`
	`2`	`+`
`1`	`3`	`.. redirect-from:: /devel/gitwash/configure_git`
`2`	`4`	`.. redirect-from:: /devel/gitwash/dot2_dot3`
`3`	`5`	`.. redirect-from:: /devel/gitwash/following_latest`