diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-07-31 07:26:59 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-07-31 07:26:59 +0300 |
| commit | 4703b75c618070d88f9e2eff084ca8119980bd9c (patch) | |
| tree | e454234c50afcdc4f6f17e7a223bfae962d9e94c /doc/gawkworkflow.texi | |
| parent | 749475a8a2f335dcc4d837d8c5dba5795d9e891d (diff) | |
| download | egawk-4703b75c618070d88f9e2eff084ca8119980bd9c.tar.gz egawk-4703b75c618070d88f9e2eff084ca8119980bd9c.tar.bz2 egawk-4703b75c618070d88f9e2eff084ca8119980bd9c.zip | |
Minor doc fixes.
Diffstat (limited to 'doc/gawkworkflow.texi')
| -rw-r--r-- | doc/gawkworkflow.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/gawkworkflow.texi b/doc/gawkworkflow.texi index 2b971395..90b3c78c 100644 --- a/doc/gawkworkflow.texi +++ b/doc/gawkworkflow.texi @@ -28,10 +28,10 @@ @c applies to and all the info about who's publishing this edition @c These apply across the board. -@set UPDATE-MONTH November, 2017 +@set UPDATE-MONTH July, 2018 @set TITLE Participating in @command{gawk} Development -@set EDITION 0.7 +@set EDITION 0.71 @iftex @set DOCUMENT booklet @@ -903,8 +903,8 @@ the @command{gawk} maintainer recommends that you use are: @cindex configuration setting, @code{push.default} @cindex configuration setting, @code{pager.status} @example -$ @kbd{git config --global push.default=simple} @ii{Only push current branch} -$ @kbd{git config --global pager.status=true} @ii{Use pager for output of} git status +$ @kbd{git config --global push.default simple} @ii{Only push current branch} +$ @kbd{git config --global pager.status true} @ii{Use pager for output of} git status @end example @cindex @file{.gitconfig} file |