Labels Milestones

staticgen #2

Merged

scuti merged 8 commits from staticgen into master 4 months ago

Conversation 0 Commits 8 Files Changed 9

scuti commented 4 months ago

Owner

Update for adaptation as a static page generator.

• modified output
• added html templates
• added leaderboard css
• added script to conveniently generate files for each map

Update for adaptation as a static page generator. * modified output * added html templates * added leaderboard css * added script to conveniently generate files for each map

scuti added 7 commits 4 months ago

7b2120d122 main rankings query now places maps with the most records at the top

2c01baef1b Adjusted program for static html generation

41e6be61e7 Created script to generate pages for all distinct maps

7bfa64ca81 make clean omits .log (none generated) and binary exec

f09c05fd1a Added html template files

336352a335 Added compilation flag for static generation (default: cgi)

832e4b97a9 Updated README

scuti added 1 commit 4 months ago

3850cf3032 README/comment update.

scuti merged commit 2c368021e7 into master 4 months ago

scuti referenced this issue from a commit 4 months ago

staticgen (#2)

The pull request has been merged as 2c368021e7.

Sign in to join this conversation.

Reviewers

Request review

No reviewers

Labels

Apply labels

Clear labels

No items

No Label

Milestone

Set milestone

Clear milestone

No items

No Milestone

Assignees

Assign users

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Write Preview

Loading…

Cancel

Save

There is no content yet.