From f4360880ce54812b04ac4cd6650aff63224122fa Mon Sep 17 00:00:00 2001
From: kenh <kenh@NetBSD.org>
Date: Tue, 1 Dec 1998 22:29:27 +0000
Subject: [PATCH] NODEVMTIME is going away.

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

diff --git a/share/man/man4/options.4 b/share/man/man4/options.4
index cf8d0f94e498..ecbe0d955513 100644
--- a/share/man/man4/options.4
+++ b/share/man/man4/options.4
@@ -1,4 +1,4 @@
-.\"	$NetBSD: options.4,v 1.67 1998/11/15 17:52:43 hubertf Exp $
+.\"	$NetBSD: options.4,v 1.68 1998/12/01 22:29:27 kenh Exp $
 .\"
 .\" Copyright (c) 1996
 .\" 	Perry E. Metzger.  All rights reserved.
@@ -606,10 +606,6 @@ 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