From 59d7834df180ca2d9b4ed7ebf8d191ba89fd1967 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Juan=20Mart=C3=ADn=20Sotuyo=20Dodero?= Date: Tue, 29 May 2018 16:55:12 -0300 Subject: [PATCH] Fix release ruleset name --- do-release.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/do-release.sh b/do-release.sh index 6f305aa1ed..b68bf118a5 100755 --- a/do-release.sh +++ b/do-release.sh @@ -73,7 +73,7 @@ echo echo "* Update date info in **docs/_config.yml**." echo echo "* Ensure all the new rules are listed in a the proper file:" -echo " pmd-core/src/main/resources/rulesets/releases/${RELEASE_VERSION}.xml file." +echo " pmd-core/src/main/resources/rulesets/releases/${RELEASE_VERSION//\./}.xml file." echo echo "* Update **../pmd.github.io/_config.yml** to mention the new release" echo