From 7cda4c3c7e2305167ef698eb234442850fcf9d79 Mon Sep 17 00:00:00 2001 From: Marco Brandizi Date: Mon, 6 Nov 2023 23:15:44 +0100 Subject: [PATCH] Very minor comment fix. --- ci-build/mk-javadocs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci-build/mk-javadocs.sh b/ci-build/mk-javadocs.sh index bcd7b2337..210b51dd6 100755 --- a/ci-build/mk-javadocs.sh +++ b/ci-build/mk-javadocs.sh @@ -1,5 +1,5 @@ # Make the javadocs of each module under the main docs directory. -# This is usually run by Travis during builds +# This is usually run during CI builds echo -e "\n\n\t---- Making Javadocs for jutils\n"