diff options
Diffstat (limited to 'Doc/using')
| -rw-r--r-- | Doc/using/cmdline.rst | 2 | ||||
| -rw-r--r-- | Doc/using/unix.rst | 2 | ||||
| -rw-r--r-- | Doc/using/windows.rst | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/Doc/using/cmdline.rst b/Doc/using/cmdline.rst index 5ae3cc808b..87af7e8be1 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 31cf87c66f..021f0d35a8 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 1f8eb16e50..44b646fddf 100644 --- a/Doc/using/windows.rst +++ b/Doc/using/windows.rst @@ -1,4 +1,4 @@ -.. highlightlang:: none +.. highlight:: none .. _using-on-windows: |