diff options
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 a5b57712..656a4bc5 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -1382,7 +1382,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. @@ -22789,7 +22789,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. @@ -26835,7 +26835,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{-D @var{file}} or @option{--debug=@var{file}} command-line options to execute commands from a file non-interactively -(@pxref{Options}. +(@pxref{Options}). @end table @node Miscellaneous Debugger Commands |