From 9001bc7070490a76fbb01496d2d3394768c0124f Mon Sep 17 00:00:00 2001
From: ru <ru@FreeBSD.org>
Date: Tue, 10 Jul 2001 15:31:11 +0000
Subject: mdoc(7) police: removed HISTORY info from the .Os call.

---
 share/man/man4/ppi.4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'share/man/man4/ppi.4')

diff --git a/share/man/man4/ppi.4 b/share/man/man4/ppi.4
index 287e5581..335e19c 100644
--- a/share/man/man4/ppi.4
+++ b/share/man/man4/ppi.4
@@ -27,7 +27,7 @@
 .\"
 .Dd January 2, 1998
 .Dt PPI 4
-.Os FreeBSD
+.Os
 .Sh NAME
 .Nm ppi
 .Nd "user-space interface to ppbus parallel 'geek' port"
-- 
cgit v1.1