build pseudopackage page (closes: #745042)

diff --git a/dohtml b/dohtml
index 39b7889f22000c2f26c55b5afe771b1872a9ed5f..73c0567106d8b4284c22182c55a3d88578bef322 100755 (executable)
--- a/dohtml
+++ b/dohtml
@@ -165,6 +165,7 @@ makepage "debian/source" "$title" $htmldir/debian/source.html "$time"
 makepage "" "$title" $htmldir/other/all.html "$time"
 makepage "" "$title" "$htmldir/other/stable.html" "$time" "-b"
 makepage "" "$title" "$htmldir/other/testing.html" "$time" "-t"
+makepage "" "$title" "$htmldir/other/pseudo.html" "$time" "pseudo"
 
 makemainpage > $htmldir/index.html.new
 mv -f $htmldir/index.html.new $htmldir/index.html