Merge remote-tracking branch 'kazu/master'
This commit is contained in:
commit
32d76b209d
@ -31,7 +31,7 @@
|
|||||||
|
|
||||||
(defun ghc-resolve-document-path (mod)
|
(defun ghc-resolve-document-path (mod)
|
||||||
(with-temp-buffer
|
(with-temp-buffer
|
||||||
(ghc-call-process "ghc-mod" nil t nil "doc" mod)
|
(ghc-call-process ghc-module-command nil t nil "doc" mod)
|
||||||
(goto-char (point-min))
|
(goto-char (point-min))
|
||||||
(when (looking-at "^\\([^ ]+\\)-\\([0-9]*\\(\\.[0-9]+\\)*\\) \\(.*\\)$")
|
(when (looking-at "^\\([^ ]+\\)-\\([0-9]*\\(\\.[0-9]+\\)*\\) \\(.*\\)$")
|
||||||
(ghc-make-pkg-ver-path
|
(ghc-make-pkg-ver-path
|
||||||
|
Loading…
Reference in New Issue
Block a user