diff options
| author | bmah <bmah@FreeBSD.org> | 2001-09-05 06:15:49 +0000 |
|---|---|---|
| committer | bmah <bmah@FreeBSD.org> | 2001-09-05 06:15:49 +0000 |
| commit | 96aa025371252668a81aa2c9fd725265abc3b03c (patch) | |
| tree | d60faab4a894b48a40ba3032066d59e36961d8a0 /release | |
| parent | a4bb0a5dc1288b00e7b0089c6ac7b2374729f245 (diff) | |
| download | FreeBSD-src-96aa025371252668a81aa2c9fd725265abc3b03c.zip FreeBSD-src-96aa025371252668a81aa2c9fd725265abc3b03c.tar.gz | |
Add a missing "option".
Diffstat (limited to 'release')
| -rw-r--r-- | release/doc/en_US.ISO8859-1/relnotes/article.sgml | 2 | ||||
| -rw-r--r-- | release/doc/en_US.ISO8859-1/relnotes/common/new.sgml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/release/doc/en_US.ISO8859-1/relnotes/article.sgml b/release/doc/en_US.ISO8859-1/relnotes/article.sgml index ba70d33..f5f331f 100644 --- a/release/doc/en_US.ISO8859-1/relnotes/article.sgml +++ b/release/doc/en_US.ISO8859-1/relnotes/article.sgml @@ -1630,7 +1630,7 @@ hw.pcic.irq="0"</programlisting> <para>&man.vidcontrol.1; now supports a <option>-C</option> option to clear the history buffer for a given tty, as well as a - <option>-h</option> to set the size of the history buffer. &merged;</para> + <option>-h</option> option to set the size of the history buffer. &merged;</para> <para>devinfo, a simple tool to print the device tree and resource usage by devices, has been added.</para> diff --git a/release/doc/en_US.ISO8859-1/relnotes/common/new.sgml b/release/doc/en_US.ISO8859-1/relnotes/common/new.sgml index ba70d33..f5f331f 100644 --- a/release/doc/en_US.ISO8859-1/relnotes/common/new.sgml +++ b/release/doc/en_US.ISO8859-1/relnotes/common/new.sgml @@ -1630,7 +1630,7 @@ hw.pcic.irq="0"</programlisting> <para>&man.vidcontrol.1; now supports a <option>-C</option> option to clear the history buffer for a given tty, as well as a - <option>-h</option> to set the size of the history buffer. &merged;</para> + <option>-h</option> option to set the size of the history buffer. &merged;</para> <para>devinfo, a simple tool to print the device tree and resource usage by devices, has been added.</para> |
