Re: [O] [Makefile] Re-compile if FLAGS change

2012-06-26 Thread Achim Gratz
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 sim

Re: [O] [Makefile] Re-compile if FLAGS change

2012-06-26 Thread Jambunathan K
Jambunathan K writes: > Apply the following patch and regenerate the html manual. Clarification: This is not a patch to Orgmode. Just a local change I needed. --

[O] [Makefile] Re-compile if FLAGS change

2012-06-26 Thread Jambunathan K
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? -- diff --git a/default.mk b/default.mk index 7bdb7df..af871b6 100644 --- a/default.mk +++ b/default.mk @@ -103,7 +103,7 @@ MKDIR = i