Add users/explain to default skip subdirs

[rcomer]

PR summary

I had reason to git clean and then the next time I ran make html-skip-subdirs, it spend a while generating users/explain. Adding 'users/explain/*' to the list of default skipped subdirs fixed that.

PR checklist

• "closes #0000" is in the body of the PR description to link the related issue
• new and changed code is tested
• Plotting related features are demonstrated in an example
• New Features and API Changes are noted with a directive and release note
• Documentation complies with general and docstring guidelines

[story645]

I'm a little confused though since users/explain is a symlink of galleries/user_explain

[rcomer]

I think for the galleries this list refers to the generated directories under doc (hence "gallery" rather than "examples"). There is logic further down that maps them back to the directories that sphinx-gallery uses to create them

matplotlib/doc/conf.py

Lines 228 to 235 in 37f26da

	gallery_dirs = [f'{ed}' for ed in
	['gallery', 'tutorials', 'plot_types', 'users/explain']
	if f'{ed}/*' not in skip_subdirs]
	example_dirs = []
	for gd in gallery_dirs:
	gd = gd.replace('gallery', 'examples').replace('users/explain', 'users_explain')
	example_dirs += [f'../galleries/{gd}']

[jklymak]

What does gets built if you do this?

[rcomer]

What does gets built if you do this?

Not much! FAQs, Getting Started, Installation, Next What's New, 3.8 GitHub stats, Project information, External Resources.

But the way I've been using it is: run once to generate the default skip-subdir file, comment out the things I do want to build, and then run it again.