From 0b287e24d53628890c6824be9db6089175d23199 Mon Sep 17 00:00:00 2001
From: Mathieu Guillame-Bert <gbm@google.com>
Date: Fri, 29 May 2026 00:58:53 -0700
Subject: [PATCH] Fix the doc build.

PiperOrigin-RevId: 923237919
---
 doc/.readthedocs.yaml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/doc/.readthedocs.yaml b/doc/.readthedocs.yaml
index 85ab0ab..bf87a77 100644
--- a/doc/.readthedocs.yaml
+++ b/doc/.readthedocs.yaml
@@ -10,8 +10,9 @@ build:
   jobs:
     pre_install:
       - pip install --no-deps dgf
-    post_build:
-      - python -m mkdocs build -v --clean --site-dir $READTHEDOCS_OUTPUT/html --config-file doc/mkdocs.yml
+    build:
+      html:
+        - python -m mkdocs build -v --clean --site-dir $READTHEDOCS_OUTPUT/html --config-file doc/mkdocs.yml
 
 mkdocs:
    configuration: doc/mkdocs.yml