0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Silence wmllint error about a missing campaign id

Browse source 
The following wmllint error was caused by the fact that the campaign definition is split into two and wmllint is not smart enough to understand that.

"../../data/campaigns/Dead_Water/_main.cfg", line 76: campaign requires an ID attribute but has none
This commit is contained in:
Andrey Bienkowski 2021-01-14 22:28:15 +03:00
parent 92fedf8f2a
commit 17a9cb720a
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
data/campaigns/Dead_Water/_main.cfg
View file

@ -71,9 +71,12 @@
{campaigns/Dead_Water/units}
[/units]
# wmllint bug: wmllint is not smart enough to realise that the campaign already has an id
# wmllint: validate-off
[+campaign]
{ENABLE_KRAKEN}
[/campaign]
# wmllint: validate-on
{campaigns/Dead_Water/scenarios}