From a28724c2c2357f9038da18ab7032e394f07138f2 Mon Sep 17 00:00:00 2001 From: Mark Murray Date: Tue, 21 Nov 2000 20:31:51 +0000 Subject: [PATCH] Add new man page to the mix. --- share/man/man9/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/share/man/man9/Makefile b/share/man/man9/Makefile index a695f80c88cf..06b9478defbd 100644 --- a/share/man/man9/Makefile +++ b/share/man/man9/Makefile @@ -17,6 +17,7 @@ MAN9= CONDSPLASSERT.9 KASSERT.9 MD5.9 SPLASSERT.9 \ devfs_add_devswf.9 devfs_link.9 devfs_remove_dev.9 devstat.9 \ devtoname.9 \ fetch.9 \ + get_cyclecounter.9 \ ifnet.9 inittodr.9 intro.9 \ kernacc.9 kthread.9 \ malloc.9 make_dev.9 mbuf.9 microseq.9 microtime.9 microuptime.9 \