diff options
author | Arun Isaac <arunisaac@systemreboot.net> | 2020-08-31 10:13:19 +0530 |
---|---|---|
committer | Arun Isaac <arunisaac@systemreboot.net> | 2020-09-03 17:14:15 +0530 |
commit | e9c7bf42e750df025421b972b1a054197903217b (patch) | |
tree | 67de98dd4031ad1620a1e2afb9b97cf37383e71f /gnu | |
parent | 24890787b5458ebff0cabbef2e4ec2543931d6e2 (diff) | |
download | guix-patches-e9c7bf42e750df025421b972b1a054197903217b.tar guix-patches-e9c7bf42e750df025421b972b1a054197903217b.tar.gz |
gnu: Add emacs-company-reftex.
* gnu/packages/emacs-xyz.scm (emacs-company-reftex): New variable.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/emacs-xyz.scm | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 3652316f26..3482686ccd 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -24461,3 +24461,28 @@ It is similar in purpose to services such as Gist or Pastebin, but is much simpler since it assumes the user has access to a publically-accessible HTTP server.") (license license:gpl3+)))) + +(define-public emacs-company-reftex + (package + (name "emacs-company-reftex") + (version "0.1.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/TheBB/company-reftex") + (commit "275ef708f08d3bf0eb30632148e5c6184eeaacdb"))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "118cgw5lsffqdqz95mnkw36mmnsbg9m52r2np4m7v14mjjwr9fby")))) + (build-system emacs-build-system) + (propagated-inputs + `(("emacs-company" ,emacs-company) + ("emacs-s" ,emacs-s))) + (home-page "https://github.com/TheBB/company-reftex") + (synopsis "RefTeX backends for company-mode") + (description "This package provides company-mode backends for completing +label references and citations in LaTeX. It is based on RefTeX, which is +included with Emacs.") + (license license:gpl3+))) |