| # Copyright 1999-2014 Gentoo Foundation | |
| # Distributed under the terms of the GNU General Public License v2 | |
| # $Id$ | |
| EAPI=5 | |
| inherit vim-plugin | |
| DESCRIPTION="vim plugin: Bash-IDE - Write and run bash scripts using menus and hotkeys" | |
| HOMEPAGE="http://www.vim.org/scripts/script.php?script_id=365" | |
| LICENSE="public-domain" | |
| KEYWORDS="~amd64 ~x86" | |
| VIM_PLUGIN_HELPFILES="${PN}" | |
| src_install() { | |
| dodoc ${PN}/doc/{ChangeLog,bash-hotkeys.pdf} | |
| rm -rf ${PN}/doc | |
| vim-plugin_src_install | |
| } |