fix #4510: add filter box to many grids

[pmg-gui.git] / js / Makefile

diff --git a/js/Makefile b/js/Makefile
index 78f2b575cb558160667dcd2b870c642d88025a58..5f57e0d720e3935e3fe6714cd9108ee770d2b7bd 100644 (file)
--- a/js/Makefile
+++ b/js/Makefile
@@ -2,6 +2,7 @@ include ../defines.mk
 
 JSSRC=                                                 \
        Utils.js                                        \
+       form/FilterField.js                             \
        FilterProxy.js                                  \
        LoginView.js                                    \
        RoleSelector.js                                 \