diff options
Diffstat (limited to 'debian/setools.install')
| -rw-r--r-- | debian/setools.install | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/debian/setools.install b/debian/setools.install new file mode 100644 index 0000000..69aef35 --- /dev/null +++ b/debian/setools.install @@ -0,0 +1,19 @@ +/usr/bin/apol +/usr/bin/sediffx +/usr/lib/setools/apol_tcl/* +/usr/sbin/seaudit +/usr/share/man/man1/apol.1 +/usr/share/man/man1/sediffx.1 +/usr/share/man/man8/seaudit.8 +/usr/share/setools-3.3/*.glade +/usr/share/setools-3.3/*.png +/usr/share/setools-3.3/apol.gif +/usr/share/setools-3.3/apol_help.txt +/usr/share/setools-3.3/domaintrans_help.txt +/usr/share/setools-3.3/dot_seaudit +/usr/share/setools-3.3/file_relabel_help.txt +/usr/share/setools-3.3/infoflow_help.txt +/usr/share/setools-3.3/seaudit_help.txt +/usr/share/setools-3.3/sediff_help.txt +/usr/share/setools-3.3/types_relation_help.txt +/usr/share/setools-3.3/apol_perm_mapping* |