Jambunathan K writes: > Apply the following patch and regenerate the html manual. You will see > that the manual doesn't get *re*-generated. Can someone review the > current rules to DTRT?
They do the right thing. Make considers sources vs. targets, not recipes vs. targets. In this case, a simple "make clean" tells it you've changed the environment and do want to start from sources again. BTW, you shouldn't edit default.mk for local configuration, which is registered with Git (this is especially important since you have push access to the upstream repo and migth inadvertently publish your changes). Edit local.mk instead, which is under your control and never clashes with anything upstream. 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