It's a better name, because the script merely compiles files and is not specific to "settings-docs.h".
Thomas Haller