diff options
| -rw-r--r-- | distrib/sets/lists/misc/mi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/distrib/sets/lists/misc/mi b/distrib/sets/lists/misc/mi index 7028d71c9be..0be56a94f34 100644 --- a/distrib/sets/lists/misc/mi +++ b/distrib/sets/lists/misc/mi @@ -305,6 +305,8 @@ ./usr/share/doc/usd/13.viref ./usr/share/doc/usd/14.jove ./usr/share/doc/usd/15.sed +./usr/share/doc/usd/15.sed/Makefile +./usr/share/doc/usd/15.sed/sed ./usr/share/doc/usd/16.awk ./usr/share/doc/usd/17.msmacros ./usr/share/doc/usd/17.msmacros/Makefile |