3 commits

Author	SHA1	Message	Date
Thomas Haller	62411390e2	build: rename "tools/check-settings-docs.sh" to "check-compare-generated.sh" ... It's a better name, because the script merely compiles files and is not specific to "settings-docs.h".	2020-11-03 15:41:39 +01:00
Thomas Haller	82ebd73bec	build: cleanup "tools/check-settings-docs.sh" script	2020-11-03 15:41:39 +01:00
Beniamino Galvani	81bc218e6d	meson: add check on settings docs ... Move the autotools check on settings docs to a shell script and call it from meson too.	2018-12-12 14:38:18 +01:00