Add user list and user pages

[gruntmaster-page.git] / gruntmaster-genallpages

diff --git a/gruntmaster-genallpages b/gruntmaster-genallpages
index d26c02d64fac6b87fae4519b4f803d994f2ee124..efa61fb18cd87fdfeab93084222fcddeb64584b7 100755 (executable)
--- a/gruntmaster-genallpages
+++ b/gruntmaster-genallpages
@@ -3,7 +3,7 @@ use v5.14;
 
 use Gruntmaster::Page;
 use Gruntmaster::Page::Log;
-use Gruntmaster::Data qw/contests jobcard problems/;
+use Gruntmaster::Data qw/contests jobcard problems users/;
 
 sub generate{
   my $what = shift;
@@ -13,10 +13,14 @@ sub generate{
 
 generate "index.html";
 generate "learn.html";
+
 generate "ct/index.html";
 generate "ct/$_/index.thml" for contests;
 generate "ct/$_/log/st.html" for contests;
 
+generate "us/index.html";
+generate "us/$_.html" for users;
+
 for my $ct (undef, contests) {
        local $Gruntmaster::Data::contests = $ct;
        my $ctp = defined $ct ? "ct/$ct/" : '';