Indeed, the generated pdf looks fine.
Reading the log file, what I think is that pdflatex is exiting with a non-null
error code because of several errors in the latex source, even if it seems to
somehow cope with it and generate (from what I've seen) a correct pdf.

I came up with a workaround, although it's far, far from an ideal fix (but I
don't know latex nor doxygen and makefile enough to come with a proper one).
Basically wrap pdflatex in the debian/ folder, and call
the real pdflatex || true, like this (in the 'build' target)

echo '#!/bin/sh' > debian/pdflatex
echo '$(new_pdflatex) "$$@" || true' >> debian/pdflatex
chmod 755 debian/pdflatex
PATH=$(CURDIR)/debian:$(shell echo $(PATH)) make

Cheers

-- 
Albin Tonnerre

Attachment: signature.asc
Description: Digital signature

Reply via email to