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

Update key bindings extraction

Browse source
This commit is contained in:
Gunter Labes 2023-08-11 20:56:13 +02:00 • committed by GitHub
parent 6319401d60
commit 73f2a6e90a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
data/tools/Makefile
View file

@ -85,9 +85,9 @@ reindent:
$(DATA)
@find ../../data/schema -name \*.cfg -print0 | xargs -0 ./check_mixed_indent
# Extract a table of editor keybindings from the editor theme definition
editor_bindings:
@./extractbindings <../themes/editor.cfg
# Extract a table of keybindings
bindings:
@./extractbindings < $(DATA)/core/hotkeys.cfg
# Look at the difficulty-rank order of the campaigns
rank: