From 31661bd6565e98c18da5439fd243a1682a2db3be Mon Sep 17 00:00:00 2001
From: kenh <kenh@NetBSD.org>
Date: Thu, 10 Sep 1998 15:58:48 +0000
Subject: [PATCH] Whoops, forgot to document NODEVMTIME.

---
 share/man/man4/options.4 | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/share/man/man4/options.4 b/share/man/man4/options.4
index bb6f0b8d9171..3ec7d0aba114 100644
--- a/share/man/man4/options.4
+++ b/share/man/man4/options.4
@@ -1,4 +1,4 @@
-.\"	$NetBSD: options.4,v 1.57 1998/08/29 15:32:07 mrg Exp $
+.\"	$NetBSD: options.4,v 1.58 1998/09/10 15:58:48 kenh Exp $
 .\"
 .\" Copyright (c) 1996
 .\" 	Perry E. Metzger.  All rights reserved.
@@ -580,6 +580,10 @@ interface cards or boot proms. Once booted, the read and write request
 sizes can be increased by remounting the filesystem. See
 .Xr mount_nfs 8
 for details.
+.It Cd options NODEVMTIME
+Do not update the modification times of device special files.
+This option is probably only useful for mobile systems that want
+to conserve battery power.
 .El
 .Ss Miscellaneous Options
 .Bl -ohang