[trivial] Itemize paper references again and revise autodoc setup.

* Switch to newer txt2tags version and remove bundled copy.
* Don't build planner in autodoc script.
* Let CI test autodoc script (in dry-run mode).

.github/workflows/autodoc.yml

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

.github/workflows/ubuntu.yml

@@ -169,7 +169,7 @@ jobs:
       - name: Run driver, translator and search tests
         run: |
           cd misc/
-          tox -e driver,translator,search
+          tox -e driver,translator,search,autodoc
 
       - name: Run CPLEX tests
         if: ${{ env.CPLEX_URL != 0 }}

misc/autodoc/autodoc.py

@@ -3,7 +3,6 @@
 import argparse
 import logging
 import os
-from os.path import dirname, join
 import re
 import subprocess
 import sys
@@ -120,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"],
@@ -166,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: