Minor improvement in installation summary section.

4 files changed, 43 insertions, 36 deletions

diff --git a/doc/ChangeLog b/doc/ChangeLog
index ac171b25..9afe6d5a 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,8 @@
+2017-09-12         Arnold D. Robbins     <arnold@skeeve.com>
+
+	* gawktexi.in (Installation summary): Note OS/2 exists for PCs
+	in a comment.
+
 2017-08-28         Arnold D. Robbins     <arnold@skeeve.com>
 
 	* gawktexi.in (Contributors): Update entry for Steven Davies.
diff --git a/doc/gawk.info b/doc/gawk.info
index c66e1461..b988084d 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -29748,9 +29748,9 @@ B.6 Summary
           ./configure && make && make check
 
    * 'gawk' may be built on non-POSIX systems as well.  The currently
-     supported systems are MS-Windows using MSYS, MinGW, and Cygwin, and
-     both Vax/VMS and OpenVMS. Instructions for each system are included
-     in this major node.
+     supported systems are MS-Windows using MSYS, DJGPP, MinGW, and
+     Cygwin, and both Vax/VMS and OpenVMS. Instructions for each system
+     are included in this major node.
 
    * Bug reports should be sent via email to <bug-gawk@gnu.org>.  Bug
      reports should be in English and should include the version of
@@ -36396,36 +36396,36 @@ Node: Usenet1191436
 Node: Maintainers1192213
 Node: Other Versions1193474
 Node: Installation summary1200058
-Node: Notes1201093
-Node: Compatibility Mode1201958
-Node: Additions1202740
-Node: Accessing The Source1203665
-Node: Adding Code1205100
-Node: New Ports1211318
-Node: Derived Files1215806
-Ref: Derived Files-Footnote-11221291
-Ref: Derived Files-Footnote-21221326
-Ref: Derived Files-Footnote-31221924
-Node: Future Extensions1222038
-Node: Implementation Limitations1222696
-Node: Extension Design1223879
-Node: Old Extension Problems1225033
-Ref: Old Extension Problems-Footnote-11226551
-Node: Extension New Mechanism Goals1226608
-Ref: Extension New Mechanism Goals-Footnote-11229972
-Node: Extension Other Design Decisions1230161
-Node: Extension Future Growth1232274
-Node: Old Extension Mechanism1233110
-Node: Notes summary1234873
-Node: Basic Concepts1236055
-Node: Basic High Level1236736
-Ref: figure-general-flow1237018
-Ref: figure-process-flow1237703
-Ref: Basic High Level-Footnote-11241004
-Node: Basic Data Typing1241189
-Node: Glossary1244517
-Node: Copying1276464
-Node: GNU Free Documentation License1314003
-Node: Index1339121
+Node: Notes1201100
+Node: Compatibility Mode1201965
+Node: Additions1202747
+Node: Accessing The Source1203672
+Node: Adding Code1205107
+Node: New Ports1211325
+Node: Derived Files1215813
+Ref: Derived Files-Footnote-11221298
+Ref: Derived Files-Footnote-21221333
+Ref: Derived Files-Footnote-31221931
+Node: Future Extensions1222045
+Node: Implementation Limitations1222703
+Node: Extension Design1223886
+Node: Old Extension Problems1225040
+Ref: Old Extension Problems-Footnote-11226558
+Node: Extension New Mechanism Goals1226615
+Ref: Extension New Mechanism Goals-Footnote-11229979
+Node: Extension Other Design Decisions1230168
+Node: Extension Future Growth1232281
+Node: Old Extension Mechanism1233117
+Node: Notes summary1234880
+Node: Basic Concepts1236062
+Node: Basic High Level1236743
+Ref: figure-general-flow1237025
+Ref: figure-process-flow1237710
+Ref: Basic High Level-Footnote-11241011
+Node: Basic Data Typing1241196
+Node: Glossary1244524
+Node: Copying1276471
+Node: GNU Free Documentation License1314010
+Node: Index1339128
 
 End Tag Table
diff --git a/doc/gawk.texi b/doc/gawk.texi
index 1d7b9b70..e2d23321 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -40305,7 +40305,8 @@ cd gawk-@value{VERSION}.@value{PATCHLEVEL}
 @item
 @command{gawk} may be built on non-POSIX systems as well. The currently
 supported systems are MS-Windows using
-MSYS, MinGW, and Cygwin,
+MSYS, DJGPP, MinGW, and Cygwin,
+@c OS/2,
 and both Vax/VMS and OpenVMS.
 Instructions for each system are included in this @value{APPENDIX}.
 
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index c9b8aedf..f2471cc1 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -39319,7 +39319,8 @@ cd gawk-@value{VERSION}.@value{PATCHLEVEL}
 @item
 @command{gawk} may be built on non-POSIX systems as well. The currently
 supported systems are MS-Windows using
-MSYS, MinGW, and Cygwin,
+MSYS, DJGPP, MinGW, and Cygwin,
+@c OS/2,
 and both Vax/VMS and OpenVMS.
 Instructions for each system are included in this @value{APPENDIX}.