diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2013-03-15 13:51:14 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2013-03-15 13:51:14 +0200 |
| commit | e321abfe930c98a7b027d48118f4b9a3b3059ee5 (patch) | |
| tree | 97e6fc3629710ee6212d186f9ea29602a75c05ed /doc/gawk.texi | |
| parent | a7c502a756732ec9a1773d6169376bb7b25f4308 (diff) | |
| download | egawk-e321abfe930c98a7b027d48118f4b9a3b3059ee5.tar.gz egawk-e321abfe930c98a7b027d48118f4b9a3b3059ee5.tar.bz2 egawk-e321abfe930c98a7b027d48118f4b9a3b3059ee5.zip | |
Minor doc updates.
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index c50551f3..d8edd4c9 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -1216,7 +1216,7 @@ and this @value{DOCUMENT}, respectively. @section Typographical Conventions @cindex Texinfo -This @value{DOCUMENT} is written in @uref{http://texinfo.org, Texinfo}, +This @value{DOCUMENT} is written in @uref{http://www.gnu.org/software/texinfo/, Texinfo}, the GNU documentation formatting language. A single Texinfo source file is used to produce both the printed and online versions of the documentation. @@ -24116,7 +24116,7 @@ them in by hand. Here we present a program that can extract parts of a Texinfo input file into separate files. @cindex Texinfo -This @value{DOCUMENT} is written in @uref{http://texinfo.org, Texinfo}, +This @value{DOCUMENT} is written in @uref{http://www.gnu.org/software/texinfo/, Texinfo}, the GNU project's document formatting language. A single Texinfo source file can be used to produce both printed and online documentation. @@ -26248,7 +26248,7 @@ same file more than once in order to avoid infinite recursion. In addition to, or instead of the @code{source} command, you can use the @option{-R @var{file}} or @option{--command=@var{file}} command-line options to execute commands from a file non-interactively -(@pxref{Options}. +(@pxref{Options}). @end table @node Miscellaneous Dgawk Commands |