Re: make pdfdocs fails with v4.9-rc3

[Jonathan Corbet]

On Mon, 31 Oct 2016 11:51:20 -0700
Jim Davis <jim.epost@xxxxxxxxx> wrote:

> Running make pdfdocs on a Ubuntu 16.04 system fails with
> 
> Makefile:58: recipe for target 'media.pdf' failed
> make[2]: *** [media.pdf] Error 1
> Documentation/Makefile.sphinx:79: recipe for target 'pdfdocs' failed
> make[1]: *** [pdfdocs] Error 2
> Makefile:1442: recipe for target 'pdfdocs' failed
> make: *** [pdfdocs] Error 2
> 
> It's not clear from the voluminous (>5MB) output from make pdfdocs
> exactly which stage is failing, and there are some pdf files produced
> in output/latex.

Hmm, so it does.  It comes down to this:

! LaTeX Error: \DUrole undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.195 \renewcommand*{\DUrole}
                             [2]{ #2 }

Where the offending command is in Documentation/media/index.rst.  Mauro,
got an idea for what's going on there?

jon