github: update windows action.

The target user_guide_chm has been replaced by user_guide_html
in 6bfab69d14, but the action hasn't been updated accordingly.
This commit is contained in:
Dario Lombardo 2021-06-28 12:18:02 +02:00
parent 693a02e760
commit b034473cb2
No known key found for this signature in database
GPG Key ID: A45A48B6693FB191
1 changed files with 1 additions and 1 deletions

View File

@ -39,7 +39,7 @@ jobs:
run: cmake --build . --config RelWithDebInfo
working-directory: build
- name: Build guides
run: cmake --build . --config RelWithDebInfo --target user_guide_chm
run: cmake --build . --config RelWithDebInfo --target user_guide_html
working-directory: build
- name: Build test-programs
run: cmake --build . --config RelWithDebInfo --target test-programs