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 34b8400e05f..b35f95ca01a 100644 --- a/distrib/sets/lists/misc/mi +++ b/distrib/sets/lists/misc/mi @@ -314,6 +314,8 @@ ./usr/share/doc/usd/15.sed/Makefile ./usr/share/doc/usd/15.sed/sed ./usr/share/doc/usd/16.awk +./usr/share/doc/usd/16.awk/Makefile +./usr/share/doc/usd/16.awk/awk ./usr/share/doc/usd/17.msmacros ./usr/share/doc/usd/17.msmacros/Makefile ./usr/share/doc/usd/17.msmacros/fig1.pic |