Opened 4 years ago

Closed 4 years ago

#10964 closed bug (wontfix)

User's Guide build error on Debian Wheezy

Reported by: jstolarek Owned by:
Priority: normal Milestone:
Component: Documentation Version: 7.11
Keywords: Cc: bgamari
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


User's Guide fails to build on Debian Wheezy - see attached log. I'm doing a devel2 build in a separate symlinked build tree.

Attachments (1)

user_guide_build_error.log (6.0 KB) - added by jstolarek 4 years ago.

Download all attachments as: .zip

Change History (4)

Changed 4 years ago by jstolarek

Attachment: user_guide_build_error.log added

comment:1 Changed 4 years ago by thomie

Cc: bgamari added

comment:2 Changed 4 years ago by bgamari

Hmm, very odd. This very much looks like a sphinx bug (one that is apparently already fixed in Debian Jessie). If you would like you can bring this up with the Sphinx folks otherwise the obvious workaround would be to simply disable building of the LaTeX version of the users guide (set BUILD_SPHINX_PDF=NO).

Last edited 4 years ago by bgamari (previous) (diff)

comment:3 Changed 4 years ago by bgamari

Resolution: wontfix
Status: newclosed
Note: See TracTickets for help on using tickets.