diff options
| author |   Marius Mauch <genone@gentoo.org> | 2007-01-28 04:41:25 +0000 |
|---|---|---|
| committer | Marius Mauch <genone@gentoo.org> | 2007-01-28 04:41:25 +0000 |
| commit | f97d3d7a348736b884b076edd16b0f0b83bb349e (patch) | |
| tree | 6f621f4fbd812f68f24bbd03fc8d7231e876262e /app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild | |
| parent | version bump (diff) | |
| download | historical-f97d3d7a348736b884b076edd16b0f0b83bb349e.tar.gz historical-f97d3d7a348736b884b076edd16b0f0b83bb349e.tar.bz2 historical-f97d3d7a348736b884b076edd16b0f0b83bb349e.zip | |
Replacing einfo with elog
Package-Manager: portage-2.1.2-r4
Diffstat (limited to 'app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild')
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild index 8e3abad253b2..d85071ae965a 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild @@ -1,6 +1,6 @@ -# Copyright 1999-2006 Gentoo Foundation +# Copyright 1999-2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild,v 1.1 2006/11/02 20:23:00 opfer Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild,v 1.2 2007/01/28 04:26:49 genone Exp $ SIMPLE_ELISP='nil' inherit elisp eutils @@ -51,9 +51,9 @@ src_install() { pkg_postinst() { elisp-site-regen - einfo "Please register your use of Proof General on the web at:" - einfo " http://proofgeneral.inf.ed.ac.uk/register " - einfo "(see the REGISTER file for more information)" + elog "Please register your use of Proof General on the web at:" + elog " http://proofgeneral.inf.ed.ac.uk/register " + elog "(see the REGISTER file for more information)" } pkg_postrm() { |