diff --git a/Makefile b/Makefile index 930ff31a04a..eebb2d613ef 100644 --- a/Makefile +++ b/Makefile @@ -66,8 +66,12 @@ pages: rss sphinx: $(SPHINX_BUILD) -fail_on_warning: +# for building Sphinx without a web-server +sphinx-local: + $(SPHINX_BUILD) --build-files + +fail-warning: $(SPHINX_BUILD) --fail-on-warning -check_links: +check-links: $(SPHINX_BUILD) --check-links diff --git a/build.py b/build.py index f5e26a7dcac..a43209d7919 100644 --- a/build.py +++ b/build.py @@ -10,9 +10,11 @@ def create_parser(): parser = argparse.ArgumentParser(description="Build PEP documents") # alternative builders: parser.add_argument("-l", "--check-links", action="store_true") + parser.add_argument("-f", "--build-files", action="store_true") + parser.add_argument("-d", "--build-dirs", action="store_true") # flags / options - parser.add_argument("-f", "--fail-on-warning", action="store_true") + parser.add_argument("-w", "--fail-on-warning", action="store_true") parser.add_argument("-n", "--nitpicky", action="store_true") parser.add_argument("-j", "--jobs", type=int, default=1) @@ -31,9 +33,15 @@ def create_parser(): doctree_directory = build_directory / ".doctrees" # builder configuration - sphinx_builder = "dirhtml" - if args.check_links: + if args.build_files: + sphinx_builder = "html" + elif args.build_dirs: + sphinx_builder = "dirhtml" + elif args.check_links: sphinx_builder = "linkcheck" + else: + # default builder + sphinx_builder = "dirhtml" # other configuration config_overrides = {}