diff options
Diffstat (limited to 'distrib/sets/lists/man/mi')
-rw-r--r-- | distrib/sets/lists/man/mi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/distrib/sets/lists/man/mi b/distrib/sets/lists/man/mi index a15cebf3d5c..f9f3da3b987 100644 --- a/distrib/sets/lists/man/mi +++ b/distrib/sets/lists/man/mi @@ -2167,3 +2167,6 @@ ./usr/share/man/ps9/sparc64 ./usr/share/man/ps9/sun3 ./usr/share/man/ps9/vax +./usr/share/texinfo +./usr/share/texinfo/texinfo.dtd +./usr/share/texinfo/texinfo.xsl |