Don't build planner in autodoc script.

.github/workflows/autodoc.yml

@@ -25,6 +25,7 @@ jobs:
 
       - name: Run autodoc
         run: |
+          python3 build.py
           cd misc/autodoc
           python3 -m pip install -r requirements.txt
           python3 autodoc.py

misc/autodoc/autodoc.py

@@ -26,8 +26,6 @@
 
 SCRIPT_DIR = os.path.abspath(os.path.dirname(__file__))
 REPO_ROOT_DIR = os.path.dirname(os.path.dirname(SCRIPT_DIR))
-print("Root:", REPO_ROOT_DIR)
-print(os.listdir(REPO_ROOT_DIR))
 
 
 def parse_args():
@@ -121,10 +119,6 @@ def make_doc_link(m):
     return text
 
 
-def build_planner(build):
-    subprocess.check_call([sys.executable, "build.py", build, "downward"], cwd=REPO_ROOT_DIR)
-
-
 def get_pages_from_planner(build):
     out = subprocess.check_output(
         ["./fast-downward.py", "--build", build, "--search", "--", "--help", "--txt2tags"],
@@ -167,8 +161,6 @@ def add_page(title, text):
     if not args.dry_run and PASSWORD is None:
         logging.critical(f"{ENV_VAR_PASSWORD} not set.")
         sys.exit(1)
-    logging.info("building planner...")
-    build_planner(args.build)
     logging.info("getting new pages from planner...")
     new_doc_pages = get_pages_from_planner(args.build)
     if args.dry_run:

misc/tox.ini

@@ -1,10 +1,8 @@
-# Note that we can't run fast-downward.py from within the misc/
-# directory because the driver confuses the misc/release with the
-# builds/release directory.
-# All tests (except for 'build' and 'autocdoc') assume that Fast
-# Downward is already built. For the translator tests it is sufficient
-# to build the 'translate' configuration.
-
+# Note that we can't run fast-downward.py from within the misc/ directory
+# because the driver confuses the misc/release with the builds/release
+# directory.
+# All tests (except for 'build') assume that Fast Downward is already built. For
+# the translator tests it is sufficient to build the 'translate' configuration.
 
 [tox]
 envlist = build, driver, translator, search, style, autodoc, clang-tidy
@@ -16,7 +14,7 @@ skipsdist = true
 deps = -r autodoc/requirements.txt
 changedir = {toxinidir}/autodoc/
 commands =
-  bash -c "python3 autodoc.py --dry-run"# > /dev/null"
+  bash -c "python3 autodoc.py --dry-run > /dev/null"
 allowlist_externals =
   bash