diff options
| author | rsc <devnull@localhost> | 2005-09-13 03:59:35 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-09-13 03:59:35 +0000 |
| commit | a4cb453c6425f1bfb84a1a8c6b4578943248fd4d (patch) | |
| tree | 83f03be89acb6c3c977ad509e3d52b7a1bf4653f /dist/mkfilelist | |
| parent | 23e7c65741a0f194ff994dffa0e1e3db9ae35a86 (diff) | |
| download | plan9port-a4cb453c6425f1bfb84a1a8c6b4578943248fd4d.tar.gz plan9port-a4cb453c6425f1bfb84a1a8c6b4578943248fd4d.tar.bz2 plan9port-a4cb453c6425f1bfb84a1a8c6b4578943248fd4d.zip | |
Look in /scratch/rsc/plan9 for file list.
Diffstat (limited to 'dist/mkfilelist')
| -rwxr-xr-x | dist/mkfilelist | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dist/mkfilelist b/dist/mkfilelist index 6b2df2c4..31faed99 100755 --- a/dist/mkfilelist +++ b/dist/mkfilelist @@ -59,6 +59,7 @@ awk -vplan9'='$PLAN9 ' /^dict\// { cat("dict") } + /^dist\/debian\/(dists|pool)/ { next } /^dist\// { cat("dist") } /^face\// { cat("faces") } @@ -67,8 +68,8 @@ awk -vplan9'='$PLAN9 ' /^font\/LICENSE/ { cat("font-bh") } /^font\/(lucida|lucidasans|lucm|pelm)\// { cat("font-bh") } /^font\/(MAP|fixed|misc|sample|smiley)/ { cat("font-core") } - /^font\// { cat("font-core") } /^font\/(palatino|times|special)/ { cat("font-proof") } + /^font\// { cat("font-core") } /^include\// { cat("devel") } |