Revise indexing in gawkworkflow.texi.

1 files changed, 102 insertions, 102 deletions

diff --git a/doc/gawkworkflow.info b/doc/gawkworkflow.info
index 5977aff1..fa440337 100644
--- a/doc/gawkworkflow.info
+++ b/doc/gawkworkflow.info
@@ -1715,16 +1715,16 @@ Index
 * bootstrap.sh script:                   Cloning.              (line 41)
 * branch, main:                          Repo State.           (line 27)
 * branch, master:                        Repo State.           (line 27)
+* branches, origin/:                     Repo Copies.          (line 68)
+* branches, local:                       Local Branches.       (line  6)
+* branches, tracking:                    Local Branches.       (line 11)
 * branches, dead:                        Repo State.           (line  8)
+* branches, stable:                      Repo State.           (line 15)
 * branches, feature:                     Repo State.           (line 35)
-* branches, local:                       Local Branches.       (line  6)
-* branches, origin/:                     Repo Copies.          (line 68)
 * branches, purely local:                Local State.          (line  6)
 * branches, removing:                    Removing Branches.    (line  6)
 * branches, removing <1>:                Repo Maintenance.     (line  9)
 * branches, renaming:                    Repo Maintenance.     (line 44)
-* branches, stable:                      Repo State.           (line 15)
-* branches, tracking:                    Local Branches.       (line 11)
 * ChangeLog file:                        Starting A New Branch.
                                                                (line 19)
 * ChangeLog file <1>:                    Developing patches.   (line 11)
@@ -1735,10 +1735,10 @@ Index
                                                                (line 19)
 * compilers:                             Compilers.            (line  6)
 * compiling for debugging:               Debugging.            (line  6)
-* configuration setting, pager.status:   Configuring git.      (line 24)
-* configuration setting, push.default:   Configuring git.      (line 24)
-* configuration setting, user.email:     Configuring git.      (line 16)
 * configuration setting, user.name:      Configuring git.      (line 16)
+* configuration setting, user.email:     Configuring git.      (line 16)
+* configuration setting, push.default:   Configuring git.      (line 24)
+* configuration setting, pager.status:   Configuring git.      (line 24)
 * configuration settings:                Configuring git.      (line  6)
 * configuration settings, global:        Configuring git.      (line  6)
 * configure.ac file:                     GNU Tools.            (line 15)
@@ -1760,106 +1760,106 @@ Index
 * generating a single patch:             Submitting Changes.   (line 14)
 * generating multiple patches:           Submitting Changes.   (line 24)
 * gettext:                               GNU Tools.            (line 27)
-* git add:                               Starting A New Branch.
-                                                               (line 36)
-* git add <1>:                           Developing patches.   (line 26)
-* git add <2>:                           Developing new features.
-                                                               (line 24)
-* git add <3>:                           Developing new features.
-                                                               (line 36)
-* git add <4>:                           Developing fixes.     (line 10)
-* git branch:                            Repo Copies.          (line 38)
-* git branch <1>:                        Removing Branches.    (line  9)
-* git branch <2>:                        General practices.    (line 88)
-* git branch <3>:                        Repo Maintenance.     (line 20)
 * git branch command, -a option:         Remotes.              (line  6)
-* git checkout:                          Local Branches.       (line 11)
-* git checkout <1>:                      Switching Branches.   (line  9)
-* git checkout <2>:                      Starting A New Branch.
+* git command, git branch:               Repo Copies.          (line 38)
+* git command, git clone:                Repo Copies.          (line 42)
+* git command, git checkout:             Local Branches.       (line 11)
+* git command, git push:                 Local Branches.       (line 16)
+* git command, git config:               Configuring git.      (line 11)
+* git command, git clone <1>:            Cloning.              (line  6)
+* git command, git pull:                 Cloning.              (line 32)
+* git command, git checkout <1>:         Switching Branches.   (line  9)
+* git command, git pull <1>:             Switching Branches.   (line  9)
+* git command, git checkout <2>:         Starting A New Branch.
                                                                (line 10)
-* git checkout <3>:                      Undoing a change.     (line 10)
-* git checkout <4>:                      Rebasing.             (line 10)
-* git checkout <5>:                      Submitting Changes.   (line 18)
-* git checkout <6>:                      Submitting Changes.   (line 27)
-* git checkout <7>:                      Removing Branches.    (line  9)
-* git checkout <8>:                      Points to remember.   (line 19)
-* git checkout <9>:                      Points to remember.   (line 32)
-* git checkout <10>:                     Points to remember.   (line 37)
-* git checkout <11>:                     Developing new features.
-                                                               (line  9)
-* git checkout <12>:                     Developing fixes.     (line 10)
-* git checkout <13>:                     General practices.    (line 43)
-* git checkout <14>:                     General practices.    (line 60)
-* git checkout <15>:                     General practices.    (line 73)
-* git clone:                             Repo Copies.          (line 42)
-* git clone <1>:                         Cloning.              (line  6)
-* git clone <2>:                         ssh clone.            (line 10)
-* git command, --help option:            Cheat Sheet.          (line 10)
-* git commit:                            Starting A New Branch.
-                                                               (line 49)
-* git commit <1>:                        Developing patches.   (line 26)
-* git commit <2>:                        Developing new features.
-                                                               (line 24)
-* git commit <3>:                        Developing new features.
-                                                               (line 36)
-* git commit <4>:                        Developing fixes.     (line 10)
-* git config:                            Configuring git.      (line 11)
-* git diff:                              Starting A New Branch.
+* git command, git status:               Starting A New Branch.
+                                                               (line 23)
+* git command, git diff:                 Starting A New Branch.
                                                                (line 29)
-* git diff <1>:                          Submitting Changes.   (line 18)
-* git diff <2>:                          Points to remember.   (line 32)
-* git diff <3>:                          Developing patches.   (line 16)
-* git diff <4>:                          Developing patches.   (line 26)
-* git diff <5>:                          Developing new features.
-                                                               (line 24)
-* git diff <6>:                          Developing new features.
-                                                               (line 36)
-* git diff <7>:                          Developing fixes.     (line 10)
-* git difftool:                          Starting A New Branch.
+* git command, git difftool:             Starting A New Branch.
                                                                (line 29)
-* git fetch:                             General practices.    (line 97)
-* git fetch <1>:                         Repo Maintenance.     (line 25)
-* git format-patch:                      Submitting Changes.   (line 24)
-* git gc:                                Repo Maintenance.     (line 33)
-* git help:                              Cheat Sheet.          (line 10)
-* git log:                               Starting A New Branch.
+* git command, git add:                  Starting A New Branch.
+                                                               (line 36)
+* git command, git status <1>:           Starting A New Branch.
+                                                               (line 41)
+* git command, git commit:               Starting A New Branch.
+                                                               (line 49)
+* git command, git log:                  Starting A New Branch.
                                                                (line 51)
-* git merge:                             Points to remember.   (line 37)
-* git merge <1>:                         General practices.    (line 60)
-* git merge <2>:                         General practices.    (line 73)
-* Git Project:                           Preface.              (line 10)
-* git pull:                              Cloning.              (line 32)
-* git pull <1>:                          Switching Branches.   (line  9)
-* git pull <2>:                          Rebasing.             (line 10)
-* git pull <3>:                          Removing Branches.    (line  9)
-* git pull <4>:                          Points to remember.   (line 19)
-* git pull <5>:                          Points to remember.   (line 37)
-* git pull <6>:                          Developing new features.
+* git command, git checkout <3>:         Undoing a change.     (line 10)
+* git command, git reset:                Undoing a change.     (line 12)
+* git command, git rebase:               Rebasing.             (line 10)
+* git command, git checkout <4>:         Rebasing.             (line 10)
+* git command, git pull <2>:             Rebasing.             (line 10)
+* git command, git checkout <5>:         Submitting Changes.   (line 18)
+* git command, git diff <1>:             Submitting Changes.   (line 18)
+* git command, git format-patch:         Submitting Changes.   (line 24)
+* git command, git checkout <6>:         Submitting Changes.   (line 27)
+* git command, git checkout <7>:         Removing Branches.    (line  9)
+* git command, git pull <3>:             Removing Branches.    (line  9)
+* git command, git branch <1>:           Removing Branches.    (line  9)
+* git command, git checkout <8>:         Points to remember.   (line 19)
+* git command, git pull <4>:             Points to remember.   (line 19)
+* git command, git rebase <1>:           Points to remember.   (line 25)
+* git command, git checkout <9>:         Points to remember.   (line 32)
+* git command, git diff <2>:             Points to remember.   (line 32)
+* git command, git checkout <10>:        Points to remember.   (line 37)
+* git command, git pull <5>:             Points to remember.   (line 37)
+* git command, git merge:                Points to remember.   (line 37)
+* git command, git clone <2>:            ssh clone.            (line 10)
+* git command, git diff <3>:             Developing patches.   (line 16)
+* git command, git diff <4>:             Developing patches.   (line 26)
+* git command, git add <1>:              Developing patches.   (line 26)
+* git command, git commit <1>:           Developing patches.   (line 26)
+* git command, git push <1>:             Developing patches.   (line 26)
+* git command, git checkout <11>:        Developing new features.
+                                                               (line  9)
+* git command, git pull <6>:             Developing new features.
                                                                (line  9)
-* git pull <7>:                          Developing fixes.     (line 10)
-* git pull <8>:                          Developing fixes.     (line 19)
-* git pull <9>:                          General practices.    (line 43)
-* git pull <10>:                         General practices.    (line 60)
-* git pull <11>:                         General practices.    (line 73)
-* git pull <12>:                         Repo Maintenance.     (line 20)
-* git push:                              Local Branches.       (line 16)
-* git push <1>:                          Developing patches.   (line 26)
-* git push <2>:                          Developing new features.
+* git command, git diff <5>:             Developing new features.
                                                                (line 24)
-* git push <3>:                          Developing new features.
+* git command, git add <2>:              Developing new features.
+                                                               (line 24)
+* git command, git commit <2>:           Developing new features.
+                                                               (line 24)
+* git command, git push <2>:             Developing new features.
+                                                               (line 24)
+* git command, git diff <6>:             Developing new features.
                                                                (line 36)
-* git push <4>:                          Developing fixes.     (line 19)
-* git push <5>:                          General practices.    (line 83)
-* git push <6>:                          General practices.    (line 88)
-* git rebase:                            Rebasing.             (line 10)
-* git rebase <1>:                        Points to remember.   (line 25)
-* git rebase <2>:                        General practices.    (line 43)
-* git reset:                             Undoing a change.     (line 12)
-* git reset, --hard option:              Cheat Sheet.          (line 93)
-* git status:                            Starting A New Branch.
-                                                               (line 23)
-* git status <1>:                        Starting A New Branch.
-                                                               (line 41)
+* git command, git add <3>:              Developing new features.
+                                                               (line 36)
+* git command, git commit <3>:           Developing new features.
+                                                               (line 36)
+* git command, git push <3>:             Developing new features.
+                                                               (line 36)
+* git command, git checkout <12>:        Developing fixes.     (line 10)
+* git command, git pull <7>:             Developing fixes.     (line 10)
+* git command, git add <4>:              Developing fixes.     (line 10)
+* git command, git commit <4>:           Developing fixes.     (line 10)
+* git command, git diff <7>:             Developing fixes.     (line 10)
+* git command, git pull <8>:             Developing fixes.     (line 19)
+* git command, git push <4>:             Developing fixes.     (line 19)
+* git command, git checkout <13>:        General practices.    (line 43)
+* git command, git pull <9>:             General practices.    (line 43)
+* git command, git rebase <2>:           General practices.    (line 43)
+* git command, git checkout <14>:        General practices.    (line 60)
+* git command, git pull <10>:            General practices.    (line 60)
+* git command, git merge <1>:            General practices.    (line 60)
+* git command, git checkout <15>:        General practices.    (line 73)
+* git command, git pull <11>:            General practices.    (line 73)
+* git command, git merge <2>:            General practices.    (line 73)
+* git command, git push <5>:             General practices.    (line 83)
+* git command, git branch <2>:           General practices.    (line 88)
+* git command, git push <6>:             General practices.    (line 88)
+* git command, git fetch:                General practices.    (line 97)
+* git command, git pull <12>:            Repo Maintenance.     (line 20)
+* git command, git branch <3>:           Repo Maintenance.     (line 20)
+* git command, git fetch <1>:            Repo Maintenance.     (line 25)
+* git command, git gc:                   Repo Maintenance.     (line 33)
+* git command, git help:                 Cheat Sheet.          (line 10)
+* git command, --help option:            Cheat Sheet.          (line 10)
+* git command, git reset, --hard option: Cheat Sheet.          (line 93)
+* Git Project:                           Preface.              (line 10)
 * GitHub:                                Contributing.         (line 57)
 * global configuration settings:         Configuring git.      (line  6)
 * GNU autoconf:                          GNU Tools.            (line 15)
@@ -1893,9 +1893,9 @@ Index
 * purely local branches:                 Local State.          (line  6)
 * push.default configuration setting:    Configuring git.      (line 24)
 * rebasing:                              Rebasing.             (line  6)
-* removing branches:                     Removing Branches.    (line  6)
-* removing cruft:                        Repo Maintenance.     (line 27)
-* removing old branches:                 Repo Maintenance.     (line  9)
+* removing, branches:                    Removing Branches.    (line  6)
+* removing, old branches:                Repo Maintenance.     (line  9)
+* removing, cruft:                       Repo Maintenance.     (line 27)
 * renaming branches:                     Repo Maintenance.     (line 44)
 * Repository, gawk, URL for:             Cloning.              (line 13)
 * Repository, gawk, URL for <1>:         ssh clone.            (line 10)