makepage "debian/non-free" "$title" $htmldir/debian/non-free.html "$time"
makepage "debian/source" "$title" $htmldir/debian/source.html "$time"
makepage "debian/non-free" "$title" $htmldir/debian/non-free.html "$time"
makepage "debian/source" "$title" $htmldir/debian/source.html "$time"