From 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 23 Aug 2018 00:01:12 +0200 Subject: Fix most doc issues raised by (checkdoc) --- generic/proof-depends.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'generic/proof-depends.el') diff --git a/generic/proof-depends.el b/generic/proof-depends.el index 74332c71..72beb1d2 100644 --- a/generic/proof-depends.el +++ b/generic/proof-depends.el @@ -181,7 +181,7 @@ Called from `proof-done-advancing' when a save is processed and (vector menuname nil nil)))) (defun proof-dep-split-deps (deps) - "Split dependencies into named nested lists according to dotted prefixes." + "Split dependencies DEPS into named nested lists according to dotted prefixes." ;; NB: could handle deeper nesting here, but just do one level for now. (let (nested toplevel) ;; Add each name into a nested list or toplevel list @@ -223,6 +223,7 @@ NAMEFN is applied to each element of LIST to make the names." (defun proof-goto-dependency (name span) "Go to the start of SPAN." + ;; FIXME(EMD): seems buggy as NAME is not used ;; FIXME: check buffer is right one. Later we'll allow switching buffer ;; here and jumping to different files. (goto-char (span-start span)) -- cgit v1.2.3