From e9c7bf42e750df025421b972b1a054197903217b Mon Sep 17 00:00:00 2001 From: Arun Isaac Date: Mon, 31 Aug 2020 10:13:19 +0530 Subject: [PATCH] gnu: Add emacs-company-reftex. * gnu/packages/emacs-xyz.scm (emacs-company-reftex): New variable. --- gnu/packages/emacs-xyz.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) 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+))) -- 2.20.1