summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-04-25 09:17:48 -0700
committerKarl Berry <karl@freefriends.org>2020-04-25 09:17:48 -0700
commit9e26b0f33d3ba12c08efed9b604d8d5f8722bd4e (patch)
treebe42653f4e7f4a521eb1fd501061b3f4e8b1aad6
parent5cdec0ff5ecf34474d90d8b57f50a148449cda0c (diff)
downloadgnulib-9e26b0f33d3ba12c08efed9b604d8d5f8722bd4e.tar.gz
autoupdate
-rwxr-xr-xbuild-aux/config.sub4
-rw-r--r--doc/maintain.texi4
2 files changed, 4 insertions, 4 deletions
diff --git a/build-aux/config.sub b/build-aux/config.sub
index f02d43ad50..a0d12275ac 100755
--- a/build-aux/config.sub
+++ b/build-aux/config.sub
@@ -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*)
diff --git a/doc/maintain.texi b/doc/maintain.texi
index 7f78d9b0af..dcbc4d1bc8 100644
--- a/doc/maintain.texi
+++ b/doc/maintain.texi
@@ -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.