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 | |
| parent | 24890787b5458ebff0cabbef2e4ec2543931d6e2 (diff) | |
| download | guix-e9c7bf42e750df025421b972b1a054197903217b.tar.gz | |
gnu: Add emacs-company-reftex.
* gnu/packages/emacs-xyz.scm (emacs-company-reftex): New variable.
| -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+))) |