Gentoo Archives: gentoo-pms

From: "Ulrich Müller" <ulm@g.o>
To: gentoo-pms@l.g.o
Subject: [gentoo-pms] [PATCH] Suppress spurious space in output of \featurelabel.
Date: Sat, 15 Sep 2012 12:17:31
Message-Id: 20564.29120.22544.200248@a1i15.kph.uni-mainz.de
1 ---
2 pms.cls | 4 ++--
3 1 file changed, 2 insertions(+), 2 deletions(-)
4
5 diff --git a/pms.cls b/pms.cls
6 index 80487bf..5073c77 100644
7 --- a/pms.cls
8 +++ b/pms.cls
9 @@ -75,8 +75,8 @@
10 % the page margin.
11 \newcommand{\featureref}[1]{\textsc{#1} on page~\pageref{feat:#1}}
12 \newcommand{\compactfeatureref}[1]{#1~p\pageref{feat:#1}}
13 -\newcommand{\featurelabel}[1]{\marginnote{%
14 - \framebox{\textsc{#1}}}\label{feat:#1}
15 +\newcommand{\featurelabel}[1]{\label{feat:#1}%
16 + \marginnote{\framebox{\textsc{#1}}}%
17 }
18 \bibliographystyle{plainurl}
19
20 --
21 1.7.12