From da177a80392296ade35e73191f5e65c1bd9e9b1d Mon Sep 17 00:00:00 2001 From: Sam Rabin Date: Mon, 29 Apr 2024 15:18:34 -0600 Subject: [PATCH] Change build-command from "make html" to "make". --- .github/workflows/pr-docs-check.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pr-docs-check.yml b/.github/workflows/pr-docs-check.yml index b5a7390930..0179422534 100644 --- a/.github/workflows/pr-docs-check.yml +++ b/.github/workflows/pr-docs-check.yml @@ -13,4 +13,4 @@ jobs: with: docs-folder: "doc" pre-build-command: "make fetch-images" - build-command: "make html" + build-command: "make"