summaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Collapse)Author
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 ↵emkael
generated. This allows to generate a new ranking table manually (without going through Makefile) and then proceed with Makefile directives.
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
Fixes #7
2017-06-16`all` target back as default target for the Makefileemkael
`editions` and `minimize` targets can't be resolved as file wildcards, because with they're resolved once and may not exist in a clean environment
2017-06-15`deploy` target in separate executable, more flexibleemkael
Fixes #3
2017-06-15Depending on the Python module instead of the standalone executable for HTML ↵emkael
pages minimization
2017-06-15Separating HTML pages minimization from `all` build targetemkael
2017-06-09Deploy scriptemkael
2017-06-07Proper build mechanismemkael