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"