Documentation build failure

[Daniel Fischer]

On Sunday 06 March 2011 02:03:12, Ian Lynagh wrote:
> On Sat, Mar 05, 2011 at 11:27:40AM +0100, Daniel Fischer wrote:
> > 
> >
> > $ dblatex --version
> > /usr/lib/python2.6/site-packages/dbtexmf/dblatex/grubber/util.py:8: 
> > DeprecationWarning: the md5 module is deprecated; use hashlib instead
> >
> >   import md5
> >
> > dblatex version 0.2.7
> 
> I don't know if this is the problem, but I have
> 
> $ dblatex --version
> dblatex version 0.3-2
> 
> Debian's previous stable release had 0.2.9, so that's probably fine too.

That seems to be the problem, after installing dblatex-0.3-1.2:

$ make docs/users_guide/users_guide.ps
===--- updating makefiles phase 0
make -r --no-print-directory -f ghc.mk phase=0 just-makefiles
<snip>
[242] [243] [244] [245] [246] 
'users_guide.ps' successfully built
[ -f docs/users_guide/users_guide.ps ]

Check for dblatex >= 0.2.9 in configure?