Doc: Replace the deprecated highlightlang directive by highlight. (#13377)
highlightlang is deprecated since April 2018 in Sphinx.
See https://github.com/sphinx-doc/sphinx/pull/4845
diff --git a/Doc/using/cmdline.rst b/Doc/using/cmdline.rst
index 5ae3cc8..87af7e8 100644
--- a/Doc/using/cmdline.rst
+++ b/Doc/using/cmdline.rst
@@ -1,4 +1,4 @@
-.. highlightlang:: sh
+.. highlight:: sh
.. ATTENTION: You probably should update Misc/python.man, too, if you modify
this file.
diff --git a/Doc/using/unix.rst b/Doc/using/unix.rst
index 31cf87c..021f0d3 100644
--- a/Doc/using/unix.rst
+++ b/Doc/using/unix.rst
@@ -1,4 +1,4 @@
-.. highlightlang:: sh
+.. highlight:: sh
.. _using-on-unix:
diff --git a/Doc/using/windows.rst b/Doc/using/windows.rst
index 1f8eb16..44b646f 100644
--- a/Doc/using/windows.rst
+++ b/Doc/using/windows.rst
@@ -1,4 +1,4 @@
-.. highlightlang:: none
+.. highlight:: none
.. _using-on-windows: