From 26963b1583409da1b40c304043aa5883714bda12 Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com> Date: Tue, 13 Jan 2026 13:16:06 +0200 Subject: [PATCH] Default highlight to sh --- Doc/library/profiling.rst | 2 +- Doc/library/profiling.sampling.rst | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Doc/library/profiling.rst b/Doc/library/profiling.rst index 4b56d9c4b7b1b8..0df9a5120a5df0 100644 --- a/Doc/library/profiling.rst +++ b/Doc/library/profiling.rst @@ -1,4 +1,4 @@ -.. highlight:: shell-session +.. highlight:: sh .. _profiling-module: diff --git a/Doc/library/profiling.sampling.rst b/Doc/library/profiling.sampling.rst index 4ec594c041d3f5..ac1098698c8cbb 100644 --- a/Doc/library/profiling.sampling.rst +++ b/Doc/library/profiling.sampling.rst @@ -1,4 +1,4 @@ -.. highlight:: shell-session +.. highlight:: sh .. _profiling-sampling: