diff --git a/.github/checking.txt b/.github/checking.txt
index 2a2c1ce5987..7c5bb5c2c67 100644
--- a/.github/checking.txt
+++ b/.github/checking.txt
@@ -31,9 +31,9 @@ pip install -r pip-requirements.txt
 ```
 3. Build the documents.
 ```
-make html
+make HTML
 or
-make.bat html
+make.bat HTML
 ```
 4. Access the documents from the **build/html** folder.