From 96392c3a5ae485ddc605cd0e3b6025a5f3dac51d Mon Sep 17 00:00:00 2001 From: Ruth Comer <10599679+rcomer@users.noreply.github.com> Date: Sun, 24 Sep 2023 12:01:04 +0100 Subject: [PATCH] add users/explain to default skip subdir --- doc/conf.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/conf.py b/doc/conf.py index f369c7c4b89c..c2cdadf0ec24 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -47,8 +47,9 @@ def _parse_skip_subdirs_file(): but you can skip subdirectories of 'users'. Doing this can make partial builds very fast. """ - default_skip_subdirs = ['users/prev_whats_new/*', 'api/*', 'gallery/*', - 'tutorials/*', 'plot_types/*', 'devel/*'] + default_skip_subdirs = [ + 'users/prev_whats_new/*', 'users/explain/*', 'api/*', 'gallery/*', + 'tutorials/*', 'plot_types/*', 'devel/*'] try: with open(".mpl_skip_subdirs.yaml", 'r') as fin: print('Reading subdirectories to skip from',