[nongnu] elpa/idris-mode updated (2939f5a -> 6c22a7b)

[ELPA Syncer]

elpasync pushed a change to branch elpa/idris-mode.

      from  2939f5a   Merge pull request #545 from jfdm/make-completion-optional
       new  c59c649   [ admin ] updated makefile
       new  ed628e8   [ ipkg-mode ] Merged in changes from idris2-mode for ipkg 
keywords.
       new  5972512   [ cosmetic ] Upstream change from idris2.
       new  c18ae30   [ cleanup ] from idris2-mode use `cadr` where appropriate.
       new  753b594   [ fixup ] add missing dependency.
       new  400c54f   [ upstream ] Fix documentation and bytecode generation.
       new  b6f6fb2   [ ci ] deprecate older emacs.
       new  6c22a7b   Merge pull request #544 from jfdm/borrowings-idris2-mode


Summary of changes:
 .github/workflows/idris1.yml                |  2 +-
 .gitignore                                  | 13 +++++++++++
 Makefile                                    | 35 +++++++++++++++++++++--------
 documentation.tex => docs/documentation.tex |  0
 idris-common-utils.el                       | 11 ++++-----
 idris-ipkg-mode.el                          | 30 ++++++++++++++++++++++++-
 idris-settings.el                           |  2 +-
 7 files changed, 74 insertions(+), 19 deletions(-)
 rename documentation.tex => docs/documentation.tex (100%)