diff options
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/deb.html | 5 | ||||
| -rwxr-xr-x | dist/mkfilelist | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/dist/deb.html b/dist/deb.html index a3db08a9..a7f5ae58 100644 --- a/dist/deb.html +++ b/dist/deb.html @@ -26,6 +26,11 @@ Edit ./^$/,s/<Table/<table border=0 cellspacing=0 cellpadding=0 width=100%/g <table border=0 cellspacing=0 cellpadding=0 width=100%><tr height=20><td></table> Here are packages built for the Debian distribution of Linux. + <br> + Newer packages can be had by adding + <pre> + deb http://swtch.com/debian/ testing main</pre> to your + <tt>/etc/apt/sources.list</tt>. <table border=0 cellspacing=0 cellpadding=0 width=100%><tr height=10><td></table> <table border=0 cellspacing=0 cellpadding=0 width=100%> diff --git a/dist/mkfilelist b/dist/mkfilelist index cd642527..4061e1cf 100755 --- a/dist/mkfilelist +++ b/dist/mkfilelist @@ -67,7 +67,7 @@ awk -vplan9'='$PLAN9 ' /^font\/(big5|gb|jis|naga10|shinonome)/ { cat("font-asian") } /^font\/LICENSE/ { cat("font-bh") } - /^font\/(lucida|lucidasans|lucm|pelm)\// { cat("font-bh") } + /^font\/(luc|lucsans|lucm|pelm)\// { cat("font-bh") } /^font\/(MAP|fixed|misc|sample|smiley)/ { cat("font-core") } /^font\/(palatino|times|special)/ { cat("font-proof") } /^font\// { cat("font-core") } |