Skip to content

Commit 179791b

Browse files
Improve documentation for using sanitizers
1 parent 2439c5f commit 179791b

5 files changed

Lines changed: 168 additions & 294 deletions

File tree

‎conf.py‎

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -122,11 +122,13 @@
122122

123123
rediraffe_redirects = {
124124
# Development Tools
125-
"clang.rst": "development-tools/clang.rst",
125+
"clang.rst": "development-tools/sanitizers.rst",
126126
"gdb.rst": "development-tools/gdb.rst",
127127
# Advanced Tools was renamed Development Tools in gh-1149
128-
"advanced-tools/clang.rst": "development-tools/clang.rst",
128+
"advanced-tools/clang.rst": "development-tools/sanitizers.rst",
129129
"advanced-tools/gdb.rst": "development-tools/gdb.rst",
130+
# "Dynamic analysis with Clang" was reworked into "Sanitizers"
131+
"development-tools/clang.rst": "development-tools/sanitizers.rst",
130132
# Core team
131133
"coredev.rst": "core-team/join-team.rst",
132134
"committing.rst": "core-team/committing.rst",
@@ -241,7 +243,7 @@
241243
}
242244

243245
intersphinx_mapping = {
244-
'python': ('https://docs.python.org/3', None),
246+
'python': ('https://docs.python.org/dev', None),
245247
'diataxis': ('https://diataxis.fr/', None),
246248
}
247249

‎development-tools/clang.rst‎

Lines changed: 0 additions & 289 deletions
This file was deleted.

‎development-tools/index.rst‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@ Development tools
99

1010
clinic/index
1111
gdb
12-
clang
12+
sanitizers
1313
warnings

0 commit comments

Comments
 (0)