chore: remove dracut.html handling from release generation

diff --git a/tools/release.sh b/tools/release.sh
index 293cc974a84eb42b9c14f4d1b6ead4e40319ccde..4d2797fcb5f07b060ddeb5662a9044621b7f461b 100755 (executable)
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -53,8 +53,6 @@ cat -s NEWS_body_new.md CONTRIBUTORS.md > release.md
 # dracut-version.sh
 printf "#!/bin/sh\n# shellcheck disable=SC2034\nDRACUT_VERSION=%s\n" "$NEW_VERSION" > dracut-version.sh
 
-DRACUT_FULL_VERSION=$NEW_VERSION DRACUT_MAIN_VERSION=$NEW_VERSION make dracut.html
-
 if [ -z "$(git config --get user.name)" ]; then
     git config user.name "dracutng[bot]"
 fi
@@ -64,7 +62,7 @@ if [ -z "$(git config --get user.email)" ]; then
 fi
 
 # Check in AUTHORS and NEWS.md
-git commit -m "docs: update NEWS.md and AUTHORS for release $NEW_VERSION" NEWS.md AUTHORS dracut-version.sh dracut.html
+git commit -m "docs: update NEWS.md and AUTHORS for release $NEW_VERSION" NEWS.md AUTHORS dracut-version.sh
 
 # git push can fail due to insufficient permissions
 if ! git push -u origin release; then