metamath-mode-0_p20221005.ebuild
Download (501 Bytes)
# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
COMMIT=85bd63b88378e9f2dee2f7d5585ec6610bf098a6
inherit elisp
DESCRIPTION="Major GNU Emacs mode for metamath files"
HOMEPAGE="https://github.com/samrushing/metamath-mode/"
SRC_URI="https://github.com/samrushing/${PN}/archive/${COMMIT}.tar.gz
-> ${P}.tar.gz"
S="${WORKDIR}"/${PN}-${COMMIT}
LICENSE="MIT"
SLOT="0"
KEYWORDS="~amd64 ~x86"
DOCS=( README.md )
SITEFILE="50${PN}-gentoo.el"
| ||