diff options
author | Erik de Castro Lopo <erikd@mega-nerd.com> | 2021-03-15 09:41:49 +1100 |
---|---|---|
committer | Erik de Castro Lopo <erikd@mega-nerd.com> | 2021-03-15 13:46:20 +1100 |
commit | 27c615706cedd252a206dd77e3910dfa395dcc49 (patch) | |
tree | 39ec09b61726404cdbb6969bdda798fa2b1f9c75 /.github | |
parent | ae288c067c03bc3404eff67063958bfe854f5a01 (diff) | |
download | flac-27c615706cedd252a206dd77e3910dfa395dcc49.tar.gz |
github actions: Drop HTML validation
Its seems `xmllint` is mainly an XML validator and not a HTML validator
and can't find a decent command line HTML validator.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/action.yml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/.github/workflows/action.yml b/.github/workflows/action.yml index 9fd936f3..7f347d73 100644 --- a/.github/workflows/action.yml +++ b/.github/workflows/action.yml @@ -145,9 +145,3 @@ jobs: cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_VERBOSE_MAKEFILE:BOOL=ON ${{ matrix.configure-opts }} -DCMAKE_FIND_FRAMEWORK=NEVER cmake --build . ctest -V - - - name: Check documentation - if: startsWith(matrix.os,'ubuntu') && startsWith(matrix.build-system,'autotools') - run: | - xmllint --valid --noout doc/html/*.html; - xmllint --valid --noout doc/html/api/*.html; |