Re: [O] org manual not updating when pulling from git

[Achim Gratz]

Nick Dokos writes:
> "make doc" or "make pdf" will update the PDF file. If you use one of
> the update targets in the makefile, it may have been updating the pdf
> doc under the covers. Taking a look through recent commits, the only one
> that might be relevant seems to be this:
>
> ,----
> | commit c90c7a33f53ad88dfcc583ad4c77bec306da0b22
> | Author: Marco Wahl <address@hidden>
> | Date:   Wed Feb 1 11:16:16 2017 +0100
> | 
> |     targets.mk: Drop the rule to clean at every compile
> |     
> |     Rationale: 1. Save time and energy.  2. Use the make tool for what
> |     it's been made.
> `----

That commit should probably be reverted.  The make tool can't do what
it's been made for in this case since some of the dependencies can not
be correctly determined.  You can still skip the clean if you want to by
using the compile-dirty target.


Regards,
Achim.
-- 
+<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+

Wavetables for the Terratec KOMPLEXER:
http://Synth.Stromeko.net/Downloads.html#KomplexerWaves