From e9eb807741db0e4c06a4ca4dd9e5eea0ea843d9c Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Sat, 10 Mar 2007 12:27:14 +0000 Subject: [PATCH] The section for pseudopackages is pseudo, not other/pseudo. --- dohtml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dohtml b/dohtml index 72d7313..8b9b6f5 100755 --- a/dohtml +++ b/dohtml @@ -182,7 +182,7 @@ makepage "non-US/contrib" "$title" $htmldir/debian-non-US/contrib.html "$time" makepage "non-US/non-free" "$title" $htmldir/debian-non-US/non-free.html "$time" makepage "non-US/source" "$title" $htmldir/debian-non-US/source.html "$time" -makepage "other/pseudo" "$title" $htmldir/other/pseudo.html "$time" +makepage "pseudo" "$title" $htmldir/other/pseudo.html "$time" makepage "" "$title" $htmldir/other/all.html "$time" -- 2.39.2