diff options
| author | Rob Savoye <rob@welcomehome.org> | 2002-07-16 23:06:20 +0000 |
|---|---|---|
| committer | Rob Savoye <rob@welcomehome.org> | 2002-07-16 23:06:20 +0000 |
| commit | 103afb2b6182ddd01aa24488458f9b9f3af395df (patch) | |
| tree | 704c01b4e3bb93e63521d31d420852e884d2bff7 /doc/dejagnu.texi | |
| parent | bc533f9470550fa6109226fe00abb138396b1f26 (diff) | |
Mostly new Makefiles cause I reran automake.
Diffstat (limited to 'doc/dejagnu.texi')
| -rw-r--r-- | doc/dejagnu.texi | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi index d290343..c1473f4 100644 --- a/doc/dejagnu.texi +++ b/doc/dejagnu.texi @@ -1,4 +1,4 @@ -o\input texinfo @c -*- Texinfo -*- +\input texinfo @c -*- Texinfo -*- @finalout @setfilename dejagnu.info @c @@ -82,6 +82,7 @@ Permission is granted to copy and distribute translations of this manual into another language, under the above conditions for modified versions. @node Top + @top DejaGnu DejaGnu is a framework for running test suites on software tools. @@ -1670,7 +1671,7 @@ exit 1 At the beginning of the init file, you must first determine the proper executable name of the tool to execute, since the actual name of the tool to be tested my vary from system to system. Here's an example -for the @sc{GNU} C compiler. +for the @sc{gnu} C compiler. @cartouche @smallexample |