From 96aa025371252668a81aa2c9fd725265abc3b03c Mon Sep 17 00:00:00 2001 From: bmah Date: Wed, 5 Sep 2001 06:15:49 +0000 Subject: Add a missing "option". --- release/doc/en_US.ISO8859-1/relnotes/article.sgml | 2 +- release/doc/en_US.ISO8859-1/relnotes/common/new.sgml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'release') 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" &man.vidcontrol.1; now supports a option to clear the history buffer for a given tty, as well as a - to set the size of the history buffer. &merged; + option to set the size of the history buffer. &merged; devinfo, a simple tool to print the device tree and resource usage by devices, has been added. 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" &man.vidcontrol.1; now supports a option to clear the history buffer for a given tty, as well as a - to set the size of the history buffer. &merged; + option to set the size of the history buffer. &merged; devinfo, a simple tool to print the device tree and resource usage by devices, has been added. -- cgit v1.1