diff options
| -rw-r--r-- | share/man/man5/devfs.5 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/share/man/man5/devfs.5 b/share/man/man5/devfs.5 index fe43d66..f4067be 100644 --- a/share/man/man5/devfs.5 +++ b/share/man/man5/devfs.5 @@ -61,6 +61,10 @@ environment, can be used to create a new .Pa /dev mount point. +.Pp +The +.Xr mknod 8 +tool can be used to recover deleted device entries under devfs. .Sh FILES .Bl -tag -width /dev/XXXX -compact .It Pa /dev |
