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

PiperOrigin-RevId: 923224535
---
 doc/.readthedocs.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/.readthedocs.yaml b/doc/.readthedocs.yaml
index f9b26ed..85ab0ab 100644
--- a/doc/.readthedocs.yaml
+++ b/doc/.readthedocs.yaml
@@ -10,6 +10,8 @@ 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
 
 mkdocs:
    configuration: doc/mkdocs.yml