diff options
Diffstat (limited to 'gla11y.mk')
| -rw-r--r-- | gla11y.mk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gla11y.mk b/gla11y.mk new file mode 100644 index 00000000..f5f01ef2 --- /dev/null +++ b/gla11y.mk @@ -0,0 +1,7 @@ +GLA11Y_OUTPUT = ui-a11y.err +GLA11Y_SUPPR = ui-a11y.suppr +GLA11Y_FALSE = ui-a11y.false + +all-local: $(GLA11Y_OUTPUT) +$(GLA11Y_OUTPUT): $(ui_files) + $(GLA11Y) -P $(srcdir)/ -f $(srcdir)/$(GLA11Y_FALSE) -s $(srcdir)/$(GLA11Y_SUPPR) -o $@ $(ui_files:%=$(srcdir)/%) |