Skip to content

Commit 15c5ef7

Browse files
authored
fixes for python make.py serve (#2104)
1 parent 9afc46a commit 15c5ef7

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

make.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@ def _resolve(p: PathLike, strict: bool = False) -> Path:
6262
PAPER_SIZE_OPTS['a4'] = ['-D', 'latex_paper_size=a4']
6363
PAPER_SIZE_OPTS['letter'] = ['-D', 'latex_paper_size=letter']
6464
ALLSPHINXOPTS = ['-d', f'{BUILDDIR}/doctrees', *PAPER_SIZE_OPTS[PAPER_SIZE], *SPHINXOPTS, '.']
65-
SPHINXAUTOBUILDOPTS = ['--watch', './arcade']
65+
SPHINXAUTOBUILDOPTS = ['--watch', '../arcade', '--ignore', './example_code/how_to_examples/thumbs']
6666

6767
# Important: the i18n builder cannot share the environment and doctrees with the others
6868
# This allows for internationalization / localization of doc.

0 commit comments

Comments
 (0)