make lint: use eslint

[pmg-gui.git] / js / Makefile

diff --git a/js/Makefile b/js/Makefile
index 353062c9d4c688635c9410c8b2c6e805bd314d5b..badf7abcf828e812cc74d284425c9a90c7218e64 100644 (file)
--- a/js/Makefile
+++ b/js/Makefile
@@ -18,10 +18,10 @@ JSSRC=                                                      \
        ActionList.js                                   \
        RuleInfo.js                                     \
        RuleEditor.js                                   \
-       Logo.js                                         \
        MainView.js                                     \
        QuarantineList.js                               \
        SpamInfoGrid.js                                 \
+       MailInfo.js                                     \
        SpamQuarantine.js                               \
        UserBlackWhiteList.js                           \
        QuarantineView.js                               \
@@ -42,7 +42,7 @@ JSSRC=                                                        \
        MailProxyOptions.js                             \
        MailProxyTLS.js                                 \
        MailProxyTLSPanel.js                            \
-       MailProxyTLSDomains.js                          \
+       MailProxyTLSDestinations.js                     \
        Transport.js                                    \
        MyNetworks.js                                   \
        RelayDomains.js                                 \
@@ -103,7 +103,7 @@ OnlineHelpInfo.js: /usr/bin/asciidoc-pmg
        mv $@.tmp $@
 
 lint: ${JSSRC}
-       jslint ${JSSRC} 
+       eslint ${JSSRC}
 
 pmgmanagerlib.js: OnlineHelpInfo.js ${JSSRC}
        echo "// ${DEB_VERSION_UPSTREAM_REVISION}" > $@.tmp