File tree 2 files changed +17
-7
lines changed
2 files changed +17
-7
lines changed Original file line number Diff line number Diff line change @@ -33,6 +33,13 @@ html-noplot:
33
33
@echo
34
34
@echo " Build finished. The HTML pages are in $( BUILDDIR) /html."
35
35
36
+ # This will skip the directories listed in the skip_subdirs variable
37
+ # in conf.py. Edit this by hand if you want to change what sections
38
+ # of the docs get built. Can be much faster. However, reset conf.py
39
+ # to original values before pushig to github.
40
+ html-skip-dirs :
41
+ $(SPHINXBUILD ) -D skip_dirs=1 -b html $(SOURCEDIR ) $(BUILDDIR ) /html $(SPHINXOPTS ) $(O )
42
+
36
43
# Catch-all target: route all unknown targets to Sphinx using the new
37
44
# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
38
45
% : Makefile
Original file line number Diff line number Diff line change 41
41
# Note if any of the sphinx-galleries are skipped then they
42
42
# will not be built using sphinx-gallery.
43
43
skip_subdirs = []
44
- if False :
45
- skip_subdirs = ['users/prev_whats_new/*' ,
46
- 'gallery/*' ,
47
- 'api/*' ,
48
- 'tutorials/*' ,
49
- 'plot_types/*' ,
50
- 'devel/*' ]
44
+ if 'skip_dirs=1' in sys .argv :
45
+ skip_subdirs = [
46
+ 'users/prev_whats_new/*' ,
47
+ 'gallery/*' ,
48
+ 'api/*' ,
49
+ 'tutorials/*' ,
50
+ 'plot_types/*' ,
51
+ 'devel/*'
52
+ ]
51
53
52
54
# Parse year using SOURCE_DATE_EPOCH, falling back to current time.
53
55
# https://reproducible-builds.org/specs/source-date-epoch/
@@ -735,5 +737,6 @@ def setup(app):
735
737
bld_type = 'dev'
736
738
else :
737
739
bld_type = 'rel'
740
+ app .add_config_value ('skip_dirs' , 0 , '' )
738
741
app .add_config_value ('releaselevel' , bld_type , 'env' )
739
742
app .connect ('html-page-context' , add_html_cache_busting , priority = 1000 )
You can’t perform that action at this time.
0 commit comments