Zitat von Geert Janssens :
Which means that the pdf target has not rebuilt since Jul 2. However, the
build rule *is*:
make html pdf
Are you sure there have been any changes to the source files since Jul 2 ? I
don't see a need to rebuild the pdf is its sources are unchanged.
(Looking at the r
On maandag 5 september 2011, Derek Atkins wrote:
> Hi,
>
> On Sun, September 4, 2011 3:56 pm, Cristian Marchi wrote:
> > Is there a way for me to see if the nightly doc builds work? can you cc
> > me the nightly build so that I can check if all went right?
>
> Um, I don't know. Right now it's ru
No, I think it would just be better for "make pdf" (and "make epub") to
always overwrite an existing copy. I think perhaps we need to make a
dependency on $(pdffile)? I'm not sure what happens if we add:
$(pdffile): .PHONY
to pdf.make (and equivalent for epub and mobi)
-derek
On Mon, Septemb
Good point. I noticed that locally the pdf files don't get rebuild if
already existing but didn't considered that same could happen on
server-side. What about renaming the compiled pdf so that next time
"make pdf" works again? Would it be possible to include in the script
something like:
mv g
Hi,
On Sun, September 4, 2011 3:56 pm, Cristian Marchi wrote:
> Is there a way for me to see if the nightly doc builds work? can you cc
> me the nightly build so that I can check if all went right?
Um, I don't know. Right now it's run out of cron and the mail-on-failure
comes directly to me. I'
