Hi!
Achim Gratz <strom...@nexgo.de> writes:
> 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 <marcowahls...@gmail.com>
>> | 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.
Ah! I didn't see target 'compile-dirty'. Thank you for the hint.
So for now I'm happy with the build process with the existence of
make compile-dirty
and further
make test-dirty
Also the names are well chosen AFAICT.
I agree that the commit should be reverted and I already did the revert.
Please accept my apology for the irritation about the build behavior.
Best regards
Marco
