[nongnu] elpa/idris-mode d01b47c972 06/10: Apply minor documentation improvements

[ELPA Syncer]

branch: elpa/idris-mode
commit d01b47c972bd769d31d5af75370cb6c4f3d9473b
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@gmail.com>

    Apply minor documentation improvements
---
 idris-keys.el          | 7 +++++--
 idris-simple-indent.el | 3 ++-
 idris-warnings-tree.el | 3 ++-
 3 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/idris-keys.el b/idris-keys.el
index e639373382..15186857d9 100644
--- a/idris-keys.el
+++ b/idris-keys.el
@@ -23,8 +23,9 @@
 ;; the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
 ;; Boston, MA 02111-1307, USA.
 
-;;; We don't need to (require 'idris-commands) because the RHS of keybindings
-;;; is always just a quoted symbol
+;;; Commentary:
+;; We don't need to (require 'idris-commands) because the RHS of keybindings
+;; is always just a quoted symbol
 
 ;;; Code:
 
@@ -119,3 +120,5 @@
                                   "h" 'idris-docs-at-point)))
 
 (provide 'idris-keys)
+
+;;; idris-keys.el ends here
diff --git a/idris-simple-indent.el b/idris-simple-indent.el
index 22c15b978c..0bdb54091a 100644
--- a/idris-simple-indent.el
+++ b/idris-simple-indent.el
@@ -84,7 +84,8 @@ Takes into account literate Idris syntax."
     (length (match-string 0))))
 
 (defun idris-simple-indent-indent-line-to (column)
-  "Just like `indent-line-to`, but ignoring the leading > for literate Idris."
+  "Indent current line to COLUMN.
+Just like `indent-line-to', but ignoring the leading > for literate Idris."
   (if (idris-lidr-p)
       (if (save-excursion (move-to-column 0) (looking-at ">")) ;; lidr code 
line - look out for >
           (progn
diff --git a/idris-warnings-tree.el b/idris-warnings-tree.el
index 999fb49aac..853e4c784d 100644
--- a/idris-warnings-tree.el
+++ b/idris-warnings-tree.el
@@ -85,7 +85,7 @@
   "Keymap used in Idris Compiler Notes mode.")
 
 (easy-menu-define idris-compiler-notes-mode-menu idris-compiler-notes-mode-map
-  "Menu for Idris compiler notes buffers"
+  "Menu for Idris compiler notes buffers."
   `("Idris Notes"
     ["Show term interaction widgets" idris-add-term-widgets t]
     ["Close Idris info buffer" idris-notes-quit t]))
@@ -280,3 +280,4 @@ This is used for labels spanning multiple lines."
     (goto-char start-mark)))
 
 (provide 'idris-warnings-tree)
+;;; idris-warnings-tree.el ends here