Subject: CVS commit: src
To: None <>
From: Thomas Klausner <>
List: source-changes
Date: 05/10/2004 12:48:19
Module Name:	src
Committed By:	wiz
Date:		Mon May 10 12:48:19 UTC 2004

Modified Files:
	src/distrib/sets/lists/man: mi
	src/share/man/man4: Makefile

Log Message:
Do not install ppi(4) -- drochner says that there's no driver for it.
(hp300/ppi.4 is something different and has its own man page.)

To generate a diff of this commit:
cvs rdiff -r1.692 -r1.693 src/distrib/sets/lists/man/mi
cvs rdiff -r1.320 -r1.321 src/share/man/man4/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.