diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-03-19 09:45:46 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-03-19 09:45:46 +0000 |
commit | d1a4a714b5b390dec1155f5d5e8406e92339ee57 (patch) | |
tree | ccbdfcc0620a072f4ddd01d0dbe996e63ff4cdf4 /emacs | |
parent | 9157ee804ffb300adcafc3194a7b9ccb6d89a95a (diff) | |
download | ocaml-d1a4a714b5b390dec1155f5d5e8406e92339ee57.tar.gz |
fix caml-help
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'emacs')
-rw-r--r-- | emacs/Makefile | 3 | ||||
-rw-r--r-- | emacs/caml-help.el | 4 |
2 files changed, 4 insertions, 3 deletions
diff --git a/emacs/Makefile b/emacs/Makefile index a9b29d8b3f..dcda075567 100644 --- a/emacs/Makefile +++ b/emacs/Makefile @@ -4,7 +4,7 @@ include ../config/Makefile # Files to install FILES= caml-font.el caml-hilit.el caml.el camldebug.el \ - inf-caml.el caml-compat.el + inf-caml.el caml-compat.el caml-help.el # Where to install. If empty, automatically determined. #EMACSDIR= @@ -20,6 +20,7 @@ COMPILECMD=(progn \ (setq load-path (cons "." load-path)) \ (byte-compile-file "caml.el") \ (byte-compile-file "inf-caml.el") \ + (byte-compile-file "caml-help.el") \ (byte-compile-file "camldebug.el")) install: diff --git a/emacs/caml-help.el b/emacs/caml-help.el index a4dc36f8d7..20d97dbc2d 100644 --- a/emacs/caml-help.el +++ b/emacs/caml-help.el @@ -450,7 +450,7 @@ This uses info files produced by ocamldoc." )) (defun ocaml-buffer-substring (region) - (and region (buffer-substring (car region) (cdr region)))) + (and region (buffer-substring-no-properties (car region) (cdr region)))) ;; Help function. @@ -467,7 +467,7 @@ current buffer using \\[ocaml-qualified-identifier]." (and (file-exists-p (concat (ocaml-uncapitalize module) ".mli")) (ocaml-get-or-make-module module)))) - (location (cdadr module-info))) + (location (cdr (car (cdr module-info))))) (cond (location (view-file (concat location (ocaml-uncapitalize module) ".mli")) |