summaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2019-11-09Refactoring player generation scripts. Fixes #16emkael
2019-04-20Building minimal JSON datafiles + rewrites from ranking page URLsemkael
2017-09-08Ignore, not delete .menu.html files on deployemkael
2017-09-08Deploy script source directory defined as parameteremkael
2017-09-08Building player pages should depend on building menusemkael
2017-09-08Renaming scripts so that their names make senseemkael
2017-09-07Pre-generating menu content for ranking pagesemkael
2017-09-07Pre-generated menus for static pages (and group tool pages)emkael
2017-09-07Renaming HTTP resource directories to prefixed namesemkael
2017-09-07Moving *.py scripts to separate directory, cleaning things upemkael
2017-09-07Generating ranking table data in separate JSON files, rather than inline HTMLemkael
2017-09-06Inserting editions menu doesn't have to depend on ranking tables being genera...emkael
2017-07-06Tools for calculating group ratingsemkael
2017-07-06Generating ranking data in JSON formatemkael
2017-07-04Build scripts for static content and menuemkael
2017-06-16Cleaning target for the Makefileemkael
2017-06-16`all` target back as default target for the Makefileemkael
2017-06-15`deploy` target in separate executable, more flexibleemkael
2017-06-15Depending on the Python module instead of the standalone executable for HTML ...emkael
2017-06-15Separating HTML pages minimization from `all` build targetemkael
2017-06-09Deploy scriptemkael
2017-06-07Proper build mechanismemkael
generated by cgit v1.2.3 (git 2.46.0) at 2024-11-09 23:34:12 +0000