Bug#293183: marked as forwarded (tetex-extra: spacing of footnotes with hyperref and pdflatex)
Your message dated Wed, 02 Feb 2005 11:51:25 +0100
with message-id <87is5b44lu.fsf@alhambra.kuesterei.ch>
has caused the Debian Bug report #293183,
regarding tetex-extra: spacing of footnotes with hyperref and pdflatex
to be marked as having been forwarded to the upstream software
author(s) Heiko Oberdiek <oberdiek@uni-freiburg.de>.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
---------------------------------------
Received: (at 293183-forwarded) by bugs.debian.org; 2 Feb 2005 10:51:42 +0000
>From frank@kuesterei.ch Wed Feb 02 02:51:41 2005
Return-path: <frank@kuesterei.ch>
Received: from idmailgate1.unizh.ch [130.60.68.105]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1CwI6n-0003a4-00; Wed, 02 Feb 2005 02:51:41 -0800
Received: from alhambra.kuesterei.ch ([130.60.169.112])
by idmailgate1.unizh.ch (8.12.10/8.12.10/Debian-2) with ESMTP id j12ApaQK029032;
Wed, 2 Feb 2005 11:51:36 +0100
Received: from localhost ([127.0.0.1] helo=alhambra.kuesterei.ch)
by alhambra.kuesterei.ch with esmtp (Exim 3.35 #1 (Debian))
id 1CwI6Y-0000xC-00; Wed, 02 Feb 2005 11:51:26 +0100
To: Heiko Oberdiek <oberdiek@uni-freiburg.de>
Cc: 293183-forwarded@bugs.debian.org,
Prakash Countcham
<prakash.countcham@imag.fr>
Subject: Re: Bug#293183: tetex-extra: spacing of footnotes with hyperref and
pdflatex
X-Attribution: fant
X-Ehrenamt: http://www.langau.de
In-Reply-To: <[🔎] E1Cw15Q-0000lb-Hv@localhost.localdomain> (Prakash Countcham's
message of "Tue, 01 Feb 2005 17:41:08 +0100")
References: <[🔎] E1Cw15Q-0000lb-Hv@localhost.localdomain>
From: =?iso-8859-1?q?Frank_K=FCster?= <frank@debian.org>
Date: Wed, 02 Feb 2005 11:51:25 +0100
Message-ID: <87is5b44lu.fsf@alhambra.kuesterei.ch>
User-Agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: quoted-printable
X-Virus-Scanned: by amavisd-milter (http://www.amavis.org/)
Delivered-To: 293183-forwarded@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-6.0 required=4.0 tests=BAYES_00,HAS_BUG_NUMBER
autolearn=no version=2.60-bugs.debian.org_2005_01_02
X-Spam-Level:
Hallo Heiko,
I have now found a (nearly) minimal example for the problem described in
this bug report. It seems to be indeed a problem with hyperref. With the
included minimal example, do the following:
1. First process the file as it is and produce dvi and pdf output (I
still have tetex-2.0.2 here, so I use etex for latex and pdfetex for
pdflatex, but that will probably not matter).
You will see a difference: In the dvi output the second line ends with
"is", while in the pdf output the "is" is on the third line.
2. If you switch the commented and uncommented lines in the \else part of
the \ifpdf, the difference vanishes, and "is" is always in line 3.=20
This is strange by itself, because I didn't know that using
hypersetup makes such a difference except when something is in
between the \usepackage and \hypersetup commands
3. Now switch back so that you get a difference, and comment the line
just before \makeatother. The two versions look the same, but now
"is" is always on the second line.
I took this code from the encls.cls that was used in the original bug
report, and I must admit that I don't understand its purpose. But
nevertheless I think it should give the same output in dvi and pdf
mode.=20
Regards, Frank
\documentclass{minimal}
\usepackage{ifpdf}
\ifpdf
\usepackage[raiselinks=3Dfalse,colorlinks=3Dtrue,citecolor=3Dblue,urlcolo=
r=3Dblue,
linkcolor=3Dblue,bookmarksopen=3Dtrue,
pdftex]{hyperref}
\else
% in this setup, the ``is'' is on line 2 only for dvi output.
\usepackage[raiselinks=3Dfalse,colorlinks=3Dtrue,citecolor=3Dblue,
urlcolor=3Dblue,linkcolor=3Dblue,bookmarksopen=3Dtrue,
dvips]{hyperref}
% with separate commands, the ``is'' is never on line 2
% \usepackage{hyperref}
% \hypersetup{raiselinks=3Dfalse,colorlinks=3Dtrue,citecolor=3Dblue,
% urlcolor=3Dblue,linkcolor=3Dblue,bookmarksopen=3Dtrue,
% dvips}
\fi
\renewcommand\normalsize{\fontsize{12pt}{14.5pt}\selectfont}
\newcommand{\footnotesize}{\fontsize{11pt}{13.6pt}\selectfont}
\def\baselinestretch{1}
\normalsize
\setlength{\textwidth}{33pc}
\setlength{\textheight}{8in}
\makeatletter
% from latex.ltx, to show the difference:
% \def\footnote{\@ifnextchar[\@xfootnote{\stepcounter\@mpfn
% \protected@xdef\@thefnmark{\thempfn}%
% \@footnotemark\@footnotetext}}
\def\footnote{\@ifnextchar[{\@xfootnote}{\refstepcounter\@mpfn
\protected@xdef\@thefnmark{\thempfn}%
\@footnotemark\@footnotetext}}
% from article.cls:
\newcommand\@makefntext[1]{%
\parindent 1em%
\noindent
\hb@xt@1.8em{\hss\@makefnmark}#1}
% without the following line, ``is'' is in the second line in both cases
% \def\@makefnmark{\,\hbox{$^{\mathrm{\@thefnmark}}$}\,}
\makeatother
\begin{document}
We do not consider variables and quantifiers for the following reason:
in SEM each input clause with $n$ universally quantified variables
$C(x_1,\ldots,x_n)$ is replaced by the conjunction of the ground
clauses $C(v_1,\ldots,v_n)$ for all possible\footnote{blabla} values
$v_i\in D$. Since the elements of $D$ are not constant symbols, we
replace each value $v\in D$ by a special, new constant symbol $a_v$.
These constants are special because they are given special values in
$I$; we take $I[a_v] =3D \{v\}$, and of course we implicitly add them to
$\Sigma$. We will not prove that any first order formula with equality
$\psi$ can thus be transformed into a set of ground clauses $\varphi$,
such that searching models of $\psi$ in $D$ is equivalent (through a
1-1 correspondence) to searching models of $\varphi$ among the
refinements of $I$.
\end{document}
%%% Local Variables:=20
%%% mode: latex
%%% TeX-master: t
%%% End:=20
--=20
Frank K=FCster
Inst. f. Biochemie der Univ. Z=FCrich
Debian Developer
Reply to: