maven-central.el
changeset 1244 c8c010139c14
parent 1160 159ad9e8fe53
child 1245 545d1e17bfe3
equal deleted inserted replaced
1243:10a201706f1c 1244:c8c010139c14
   154   (interactive)
   154   (interactive)
   155   (shell-command
   155   (shell-command
   156    (format "%s help:effective-pom" maven.command)
   156    (format "%s help:effective-pom" maven.command)
   157    (switch-to-buffer maven.help-buffer-name)) )
   157    (switch-to-buffer maven.help-buffer-name)) )
   158 
   158 
   159 (defun maven.effective-pom ()
   159 (defun maven.effective-settings ()
   160   "Run help:effective-settings for plugin at point."
   160   "Run help:effective-settings for plugin at point."
   161   (interactive)
   161   (interactive)
   162   (shell-command
   162   (shell-command
   163    (format "%s help:effective-settings" maven.command)
   163    (format "%s help:effective-settings" maven.command)
   164    (switch-to-buffer maven.help-buffer-name)) )
   164    (switch-to-buffer maven.help-buffer-name)) )