aboutsummaryrefslogtreecommitdiff
path: root/dist
diff options
context:
space:
mode:
authorrsc <devnull@localhost>2005-09-13 03:59:35 +0000
committerrsc <devnull@localhost>2005-09-13 03:59:35 +0000
commita4cb453c6425f1bfb84a1a8c6b4578943248fd4d (patch)
tree83f03be89acb6c3c977ad509e3d52b7a1bf4653f /dist
parent23e7c65741a0f194ff994dffa0e1e3db9ae35a86 (diff)
downloadplan9port-a4cb453c6425f1bfb84a1a8c6b4578943248fd4d.tar.gz
plan9port-a4cb453c6425f1bfb84a1a8c6b4578943248fd4d.tar.bz2
plan9port-a4cb453c6425f1bfb84a1a8c6b4578943248fd4d.zip
Look in /scratch/rsc/plan9 for file list.
Diffstat (limited to 'dist')
-rwxr-xr-xdist/mkfilelist3
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") }