commit: f0cd8a286b4051cbb1f57bb28b74437e0a917ba9
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Fri May 6 17:25:22 2016 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Fri May 6 17:25:22 2016 +0000
URL: https://gitweb.gentoo.org/proj/pms.git/commit/?id=f0cd8a28
Typographic fix: Suppress vertical space after featurelabel.
pkg-mgr-commands.tex | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/pkg-mgr-commands.tex b/pkg-mgr-commands.tex
index a8aa12b..78b5a3b 100644
--- a/pkg-mgr-commands.tex
+++ b/pkg-mgr-commands.tex
@@ -227,10 +227,9 @@ current phase function has returned.
Autoconf-generated scripts. Any additional parameters passed to \t{econf}
are passed directly
to \t{./configure}, after the default options below. \t{econf} will look
in the current working
directory for a configure script unless the \t{ECONF\_SOURCE} environment
variable is set,
- in which case it is taken to be the directory containing it. \t{econf}
must pass the following
- options to the configure script:
+ in which case it is taken to be the directory containing it.
- \featurelabel{econf-options}
+ \featurelabel{econf-options} \t{econf} must pass the following options to
the configure script:
\begin{itemize}
\item -{}-prefix must default to \t{\$\{EPREFIX\}/usr} unless overridden
by \t{econf}'s caller.
\item -{}-mandir must be \t{\$\{EPREFIX\}/usr/share/man}
