--- tripwire.fc.old	2005-04-22 01:10:16.000000000 +1000
+++ tripwire.fc	2005-04-22 01:10:52.000000000 +1000
@@ -1,9 +1,8 @@
 # tripwire
 /etc/tripwire(/.*)?			system_u:object_r:tripwire_etc_t
-/usr/sbin/siggen			system_u:object_r:siggen_exec_t
-/usr/sbin/tripwire			system_u:object_r:tripwire_exec_t
-/usr/sbin/tripwire-setup-keyfiles	system_u:object_r:bin_t
-/usr/sbin/twadmin			system_u:object_r:twadmin_exec_t
-/usr/sbin/twprint			system_u:object_r:twprint_exec_t
+/usr/sbin/siggen		--	system_u:object_r:siggen_exec_t
+/usr/sbin/tripwire		--	system_u:object_r:tripwire_exec_t
+/usr/sbin/twadmin		--	system_u:object_r:twadmin_exec_t
+/usr/sbin/twprint		--	system_u:object_r:twprint_exec_t
 /var/lib/tripwire(/.*)?			system_u:object_r:tripwire_var_lib_t
 /var/lib/tripwire/report(/.*)?		system_u:object_r:tripwire_report_t
