build pseudopackage page (closes: #745042)
authorDon Armstrong <don@donarmstrong.com>
Thu, 17 Apr 2014 17:57:26 +0000 (10:57 -0700)
committerDon Armstrong <don@donarmstrong.com>
Thu, 17 Apr 2014 17:57:26 +0000 (10:57 -0700)
dohtml

diff --git a/dohtml b/dohtml
index 39b7889..73c0567 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/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
 
 makemainpage > $htmldir/index.html.new
 mv -f $htmldir/index.html.new $htmldir/index.html