From eb2bfc5e4be4782e6fbccddcbd50b518eae9d218 Mon Sep 17 00:00:00 2001 From: emkael Date: Fri, 8 Sep 2017 01:55:48 +0200 Subject: Building player pages should depend on building menus --- Makefile | 4 +++- docs/building.md | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index e108664..a5ec358 100644 --- a/Makefile +++ b/Makefile @@ -20,7 +20,9 @@ editions: $(rankfiles) $(rankfiles): python scripts/rankings-editions.py $(patsubst %.ed,%,$@) -players: +players: menus player-pages + +player-pages: bin/players-build.sh http statics: diff --git a/docs/building.md b/docs/building.md index 11b53a0..1546507 100644 --- a/docs/building.md +++ b/docs/building.md @@ -34,7 +34,7 @@ You can also use subtargets of `make`, which (re)build only part of the content: The subtarget for `rankings` is separated into several stages, some of them independent: * `make datafiles` generates JSON data files that HTML front-end loads to display tables of ranking data - * `make menus` pre-generates top menu to insert into HTML pages for ranking pages + * `make menus` pre-generates top menu to insert into HTML pages for ranking pages (this subtarget is also a dependency for `make players`) * `make tables` generates ranking table HTML pages for editions defined in `config/dates.json` * `make editions` compiles editions menu into ranking table pages (e.g. if you're not rebuilding all ranking pages and just generating the newest) * `make group-json` updates JSON data file for group ranking tools (below) -- cgit v1.2.3