bug#37143: Emacs FAQ: Change "WAIS, WWW" format to "HTML, PDF"

[Stefan Kangas <stefan@marxist.se>]

[-- Attachment #1: Type: text/plain, Size: 323 bytes --]

Andreas Schwab <schwab@suse.de> writes:

> > What is the WAIS format, and is it still relevant?
>
> https://en.wikipedia.org/wiki/Wide_area_information_server

I figured it was something like that.  I doubt many users would even
know what that is nowadays.

Does anyone object to the attached patch?

Thanks,
Stefan Kangas

[-- Attachment #2: 0001-doc-misc-efaq.texi-Update-ancient-formats.-Bug-37143.patch --]
[-- Type: text/x-patch, Size: 939 bytes --]

From c87307a8cf184c350814caba84aa15ba83045fd5 Mon Sep 17 00:00:00 2001
From: Stefan Kangas <stefankangas@gmail.com>
Date: Thu, 22 Aug 2019 16:11:52 +0200
Subject: [PATCH] * doc/misc/efaq.texi: Update ancient formats.  (Bug#37143)

---
 doc/misc/efaq.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/misc/efaq.texi b/doc/misc/efaq.texi
index 8fd3bf3a45..ad6ad12750 100644
--- a/doc/misc/efaq.texi
+++ b/doc/misc/efaq.texi
@@ -21,7 +21,7 @@
 @quotation
 This list of frequently asked questions about GNU Emacs with answers
 (``FAQ'') may be translated into other languages, transformed into other
-formats (e.g., Texinfo, Info, WWW, WAIS), and updated with new information.
+formats (e.g., Texinfo, Info, HTML, PDF), and updated with new information.
 
 The same conditions apply to any derivative of the FAQ as apply to the FAQ
 itself.  Every copy of the FAQ must include this notice or an approved
-- 
2.20.1