diff options
author | Theo de Raadt <deraadt@cvs.openbsd.org> | 2003-12-09 22:56:16 +0000 |
---|---|---|
committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 2003-12-09 22:56:16 +0000 |
commit | 03b155216fb017760f73850b45255dc8dc538419 (patch) | |
tree | fdb2b88489621e2d4b253ef4f8ce1d49c4509d98 | |
parent | 8cbec28ebf1358c2e9d6ab1ceb2cde737eb91951 (diff) |
sync
-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 dd680ca5b7e..34b8400e05f 100644 --- a/distrib/sets/lists/misc/mi +++ b/distrib/sets/lists/misc/mi @@ -81,6 +81,8 @@ ./usr/share/doc/psd/14.sccs ./usr/share/doc/psd/15.yacc ./usr/share/doc/psd/16.lex +./usr/share/doc/psd/16.lex/Makefile +./usr/share/doc/psd/16.lex/lex.ms ./usr/share/doc/psd/17.m4 ./usr/share/doc/psd/18.gprof ./usr/share/doc/psd/18.gprof/Makefile |