mirror of
https://github.com/django/django.git
synced 2025-10-09 10:10:28 +00:00
Fixed #28343 -- Add an OS chooser for docs command line examples.
This commit is contained in:
parent
a22ef3bb37
commit
37c17846ad
29 changed files with 1399 additions and 90 deletions
|
@ -112,7 +112,7 @@ today_fmt = '%B %d, %Y'
|
|||
|
||||
# List of patterns, relative to source directory, that match files and
|
||||
# directories to ignore when looking for source files.
|
||||
exclude_patterns = ['_build']
|
||||
exclude_patterns = ['_build', '_theme']
|
||||
|
||||
# The reST default role (used for this markup: `text`) to use for all documents.
|
||||
# default_role = None
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue