Very minor comment fix.

marco-brandizi · Nov 6, 2023 · 7cda4c3 · 7cda4c3
1 parent d31d25f
commit 7cda4c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"