From: Bruno Haible Date: Wed, 31 May 2023 11:35:28 +0000 (+0200) Subject: various-includes: Write "macOS" instead of "Mac OS". X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=6533bb11e7217415d51b9b0f6db5225d1b1cf497;p=gnulib%2Fmaint-tools.git various-includes: Write "macOS" instead of "Mac OS". --- diff --git a/platforms/various-includes/show-portability b/platforms/various-includes/show-portability index 386b7931..0f0114a6 100755 --- a/platforms/various-includes/show-portability +++ b/platforms/various-includes/show-portability @@ -36,7 +36,7 @@ if test "x$1" = "x--doc"; then fi fi if ! func_has macos-11.1 "$header"; then - line=$line', Mac OS 11.1' + line=$line', macOS 11.1' else if ! func_has macosx-10.13 "$header"; then line=$line', Mac OS X 10.13'