diff options
| author | emkael <emkael@tlen.pl> | 2017-09-08 01:55:48 +0200 |
|---|---|---|
| committer | emkael <emkael@tlen.pl> | 2017-09-08 01:55:48 +0200 |
| commit | eb2bfc5e4be4782e6fbccddcbd50b518eae9d218 (patch) | |
| tree | 8b4e859320fdcd1415a4284d8e0401a7dc05f346 | |
| parent | ca50315fbe23187cbc03a554c359dfe056e32a56 (diff) | |
Building player pages should depend on building menus
| -rw-r--r-- | Makefile | 4 | ||||
| -rw-r--r-- | docs/building.md | 2 |
2 files changed, 4 insertions, 2 deletions
@@ -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) |