]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorKarl Berry <karl@freefriends.org>
Sat, 25 Apr 2020 16:17:48 +0000 (09:17 -0700)
committerKarl Berry <karl@freefriends.org>
Sat, 25 Apr 2020 16:17:48 +0000 (09:17 -0700)
build-aux/config.sub
doc/maintain.texi

index f02d43ad500ca9fc7467e3f28151ce18bc98bfa3..a0d12275ac5f15f1fda9de7af7469807b1e18a64 100755 (executable)
@@ -2,7 +2,7 @@
 # Configuration validation subroutine script.
 #   Copyright 1992-2020 Free Software Foundation, Inc.
 
-timestamp='2020-01-01'
+timestamp='2020-04-24'
 
 # This file is free software; you can redistribute it and/or modify it
 # under the terms of the GNU General Public License as published by
@@ -1366,7 +1366,7 @@ case $os in
             | skyos* | haiku* | rdos* | toppers* | drops* | es* \
             | onefs* | tirtos* | phoenix* | fuchsia* | redox* | bme* \
             | midnightbsd* | amdhsa* | unleashed* | emscripten* | wasi* \
-            | nsk* | powerunix)
+            | nsk* | powerunix*)
        # Remember, each alternative MUST END IN *, to match a version number.
                ;;
        qnx*)
index 7f78d9b0af3fc985370815fae227cf0e401be1f4..dcbc4d1bc8670ff91dad3c4d249478bbd2b5b35b 100644 (file)
@@ -5,7 +5,7 @@
 @c For double-sided printing, uncomment:
 @c @setchapternewpage odd
 @c This date is automagically updated when you save this file:
-@set lastupdate January 29, 2020
+@set lastupdate April 24, 2020
 @c %**end of header
 @documentencoding UTF-8
 
@@ -2417,7 +2417,7 @@ making Ogg Vorbis the preferred format for audio distribution
 in GNU packages and their web sites.
 
 We will consider using Ogg Opus at some point in the future.
-It is fine to distribute Ogg Opus files <em>also</em>, but please
+It is fine to distribute Ogg Opus files @emph{also}, but please
 continue distributing Ogg Vorbis, so as not to hurry users to change
 the software with which they listen to audio.