diff options
| author | Ben Elliston <bje@gnu.org> | 2006-06-06 04:52:34 +0000 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2006-06-06 04:52:34 +0000 |
| commit | b28393f2b149953f30549936f4e73dfea0249a12 (patch) | |
| tree | 40886c4a8bdbdc8867906129995ba2914d786b23 /doc/dejagnu.texi | |
| parent | 6f4dea39dd05ed356cac0501c88d44a83cffb2ff (diff) | |
* doc/dejagnu.xml, doc/ref.xml, doc/user.xml: Edits.
* doc/dejagnu.texi: Regenerate.
Diffstat (limited to 'doc/dejagnu.texi')
| -rw-r--r-- | doc/dejagnu.texi | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi index f802f96..8ac307a 100644 --- a/doc/dejagnu.texi +++ b/doc/dejagnu.texi @@ -459,9 +459,9 @@ dejagnu with a AMD K6 and a Mac Powerbook G3 serving as a remote target. -The tests for Windows were run under Windows NT using the -actual Cygwin version (1.3.x as of October 2001). It's target system -was a PPC embedded system running vxWorks. +The tests for Windows were run under Windows using the actual +Cygwin version (1.3.x as of October 2001). Its target system was a PPC +embedded system running vxWorks. @menu * Test your installation:: @@ -524,7 +524,7 @@ them. On Windows systems DejaGnu is part of a port of a lot of Unix tools to the Windows OS, called Cygwin. Cygwin may be downloaded and installed from a mirror of http://www.cygwin.com/. All examples were -also run on Windows NT. If nothing is said, you can assume that you +also run on Windows. If nothing is said, you can assume that you should get the same output as on a Unix system. You will need a telnet daemon if you want to use a Windows box @@ -2453,7 +2453,7 @@ host. @subsection Personal Config File The personal config file is used to customize -@code{runtest's} behaviour for each person. It's +@code{runtest's} behaviour for each person. It is typically used to set the user prefered setting for verbosity, and any experimental Tcl procedures. My personal @file{~/.dejagnurc} file looks like: |