Re: [PATCH] master: Doxygen generation broken

[Stefano Lattarini]

Hi Akim.

On 04/01/2012 03:18 PM, Akim Demaille wrote:
> 
> Le 1 avr. 2012 à 14:35, Akim Demaille a écrit :
> 
>> hi Stefano,
>>
>> I installed this.
> 
> And then this.
> 
> From 45d4c012d3dab39a65ea71dee825d1146e0ac4a7 Mon Sep 17 00:00:00 2001
> From: Akim Demaille <address@hidden>
> Date: Sun, 1 Apr 2012 15:09:54 +0200
> Subject: [PATCH] build: fix distcheck issues.
> 
> For some reason it seems that texi2dvi -o no longer forces --clean
> mode, so we have stray TeX compilation files staying in top_builddir
> since TeX is run from there.
> 
Hey, it seems I've somehow got a copy of Guido's time machine:

  <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=11146>

:-)

Regards,
  Stefano