Package: doxygen-latex
Version: 1.8.7-2

The following is a regression from 1.8.6-2, which built ppl (where this problem
occurs) just fine in the very same setup.

So we have:

~/ppl-1.1/doc# grep PROJECT_NUMBER Doxyfile.user-configured-c-interface-latex
PROJECT_NUMBER         = 1.1

~/ppl-1.1/doc# grep '^(version' *.tex
devref-language-interface.tex:(version $projectnumber)
devref.tex:(version $projectnumber)
user-configured-c-interface.tex:(version $projectnumber)
user-configured-prolog-interface.tex:(version $projectnumber)
user-language-interface.tex:(version $projectnumber)
user.tex:(version $projectnumber)


Run doxygen:

~/ppl-1.1/doc# 
TEXINPUTS=/srv/jenkins-slave/workspace/sid-goto-cc-ppl/ppl-1.1/doc: doxygen 
Doxyfile.user-configured-c-interface-latex
Warning: Tag `XML_SCHEMA' at line 231 of file 
`Doxyfile.user-configured-c-interface-latex' has become obsolete.
         To avoid this warning please remove this line from your configuration 
file or upgrade it using "doxygen -u"
Warning: Tag `XML_DTD' at line 232 of file 
`Doxyfile.user-configured-c-interface-latex' has become obsolete.
         To avoid this warning please remove this line from your configuration 
file or upgrade it using "doxygen -u"
Warning: doxygen no longer ships with the FreeSans font.
You may want to clear or change DOT_FONTNAME.
Otherwise you run the risk that the wrong font is being used for dot generated 
graphs.
GPL:-1: warning: multiple use of section label 'GPL', (first occurrence: 
/srv/jenkins-slave/workspace/sid-goto-cc-ppl/ppl-1.1/doc/gpl.dox, line 6)
GFDL:-1: warning: multiple use of section label 'GFDL', (first occurrence: 
/srv/jenkins-slave/workspace/sid-goto-cc-ppl/ppl-1.1/doc/fdl.dox, line 6)

~/ppl-1.1/doc# grep '^(version' user-configured-c-interface.latex-dir/refman.tex
(version 1.\+1)


Unsurprisingly this doesn't compile:

pdflatex refman
[...]
! Undefined control sequence.
\@title ...Program Analyzers''. } \\ (version 1.\+
                                                  1)


Best,
Michael

Attachment: pgpAAhvHzryDh.pgp
Description: PGP signature

Reply via email to