Small doc updates.

1 files changed, 69 insertions, 69 deletions

diff --git a/doc/gawkworkflow.info b/doc/gawkworkflow.info
index 35b8bebd..6a1549e7 100644
--- a/doc/gawkworkflow.info
+++ b/doc/gawkworkflow.info
@@ -1,10 +1,10 @@
-This is gawkworkflow.info, produced by makeinfo version 6.1 from
+This is gawkworkflow.info, produced by makeinfo version 6.5 from
 gawkworkflow.texi.
 
-Copyright (C) 2017 Free Software Foundation, Inc.
+Copyright (C) 2017, 2018, 2019 Free Software Foundation, Inc.
 
 
-   This is Edition 0.7 of 'Participating in 'gawk' Development'.
+   This is Edition 0.72 of 'Participating in 'gawk' Development'.
 
    Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.3 or
@@ -35,10 +35,10 @@ General Introduction
 This file describes how to participate in software development for GNU
 Awk ('gawk') (http://www.gnu.org/software/gawk).
 
-   Copyright (C) 2017 Free Software Foundation, Inc.
+   Copyright (C) 2017, 2018, 2019 Free Software Foundation, Inc.
 
 
-   This is Edition 0.7 of 'Participating in 'gawk' Development'.
+   This is Edition 0.72 of 'Participating in 'gawk' Development'.
 
    Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.3 or
@@ -612,7 +612,7 @@ these branches with 'git branch -a':
 
    You'll note that what we've referred to as 'origin/' branches appear
 in the output with an additional prefix: 'remotes/'.  Up to this point,
-we've treated Git as if it allowed only a singled upstream repository.
+we've treated Git as if it allowed only a single upstream repository.
 But in fact, you can configure it to use more than one.  All the known
 upstream repositories are grouped under the 'remotes/' prefix, with
 'remotes/origin' being the one from which you initially cloned your
@@ -646,8 +646,8 @@ aliases are allowed.  If you can't supply your real name, you cannot
 contribute to the project.  Other options that the 'gawk' maintainer
 recommends that you use are:
 
-     $ git config --global push.default=simple    Only push current branch
-     $ git config --global pager.status=true      Use pager for output of git status
+     $ git config --global push.default simple    Only push current branch
+     $ git config --global pager.status true      Use pager for output of git status
 
    The global settings are stored in the '.gitconfig' file in your home
 directory.  The file looks like this:
@@ -1915,66 +1915,66 @@ Index
 
 
 Tag Table:
-Node: Top1102
-Node: Preface5173
-Node: This Manual6069
-Node: Conventions7558
-Node: Acknowledgments9027
-Node: Reviewers9464
-Node: Contributing9785
-Ref: Contributing-Footnote-113140
-Node: Using Git13172
-Node: Push Pull13928
-Node: Repo Copies15343
-Ref: savannah-repo16326
-Ref: your-repo17359
-Ref: Repo Copies-Footnote-119053
-Node: Local Branches19110
-Ref: your-repo-220888
-Ref: Local Branches-Footnote-121969
-Node: Branches are state22027
-Node: Repo State22750
-Node: Local State24870
-Node: Remotes25534
-Node: Configuring git26849
-Ref: Configuring git-Footnote-129202
-Node: Development without commit access29371
-Node: Cloning30373
-Node: Switching Branches32232
-Node: Starting A New Branch32885
-Ref: Starting A New Branch-Footnote-134773
-Ref: Starting A New Branch-Footnote-234831
-Node: Undoing a change34907
-Node: Updating35508
-Node: Rebasing36010
-Node: Merge Conflicts36622
-Node: Submitting Changes38122
-Ref: Submitting Changes-Footnote-140266
-Ref: Submitting Changes-Footnote-240303
-Ref: Submitting Changes-Footnote-340339
-Node: Removing Branches40385
-Node: Points to remember40921
-Node: Development with commit access42598
-Node: Initial setup43243
-Node: ssh clone44031
-Node: Developing patches44628
-Node: Developing new features45964
-Node: Developing fixes47868
-Node: General practices48955
-Node: Repo Maintenance53697
-Ref: Repo Maintenance-Footnote-156466
-Node: Development Stuff56599
-Node: Coding style57162
-Ref: Coding style-Footnote-157820
-Node: Doing paperwork57910
-Node: Tools58705
-Node: GNU Tools59287
-Node: Compilers61448
-Ref: Compilers-Footnote-163942
-Node: Debugging63980
-Node: Cheat Sheet64686
-Node: Resources68373
-Node: TODO68816
-Node: Index69036
+Node: Top1115
+Node: Preface5199
+Node: This Manual6095
+Node: Conventions7584
+Node: Acknowledgments9053
+Node: Reviewers9490
+Node: Contributing9811
+Ref: Contributing-Footnote-113166
+Node: Using Git13198
+Node: Push Pull13954
+Node: Repo Copies15369
+Ref: savannah-repo16352
+Ref: your-repo17385
+Ref: Repo Copies-Footnote-119079
+Node: Local Branches19136
+Ref: your-repo-220914
+Ref: Local Branches-Footnote-121995
+Node: Branches are state22053
+Node: Repo State22776
+Node: Local State24896
+Node: Remotes25560
+Node: Configuring git26874
+Ref: Configuring git-Footnote-129227
+Node: Development without commit access29396
+Node: Cloning30398
+Node: Switching Branches32257
+Node: Starting A New Branch32910
+Ref: Starting A New Branch-Footnote-134798
+Ref: Starting A New Branch-Footnote-234856
+Node: Undoing a change34932
+Node: Updating35533
+Node: Rebasing36035
+Node: Merge Conflicts36647
+Node: Submitting Changes38147
+Ref: Submitting Changes-Footnote-140291
+Ref: Submitting Changes-Footnote-240328
+Ref: Submitting Changes-Footnote-340364
+Node: Removing Branches40410
+Node: Points to remember40946
+Node: Development with commit access42623
+Node: Initial setup43268
+Node: ssh clone44056
+Node: Developing patches44653
+Node: Developing new features45989
+Node: Developing fixes47893
+Node: General practices48980
+Node: Repo Maintenance53722
+Ref: Repo Maintenance-Footnote-156491
+Node: Development Stuff56624
+Node: Coding style57187
+Ref: Coding style-Footnote-157845
+Node: Doing paperwork57935
+Node: Tools58730
+Node: GNU Tools59312
+Node: Compilers61473
+Ref: Compilers-Footnote-163967
+Node: Debugging64005
+Node: Cheat Sheet64711
+Node: Resources68398
+Node: TODO68841
+Node: Index69061
 
 End Tag Table