Control: reassign -1 src:ppl
On Thu, Jun 12, 2014 at 03:22:14AM +0100, Michael Tautschnig wrote:
> ~/ppl-1.1/doc# grep '^(version'
> user-configured-c-interface.latex-dir/refman.tex
> (version 1.\+1)
>
>
> Unsurprisingly this doesn't compile:
This only fails to compile if your TeX sources fail to define \+. But
Doxygen introduced this define in its generated header:
\newcommand{\+}{\discretionary{\mbox{\scriptsize$\hookleftarrow$}}{}{}}
It appears not to be used, which most likely is due to ppl setting the
LATEX_HEADER Doxygen configuration option. This configuration option is
clearly declared as an unstable API, so unfortunately (by using this
option) this will have to be fixed in ppl.
Helmut
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
