January-June 2018 in review
A quick review of the first months of 2018, what I did and what I did not (yet) do, given my current priorities.
Let’s play with make (part 2)
In this second part about makefiles, we will use the include directive for two different purposes: factoring some common targets, and better management of prerequisites.
Let’s play with make (part 1)
GNU make proves extremely useful in many contexts beyond pure programming. Let’s play with it to build pdf outputs from LaTeX sources, discovering some of its functions, as well as pattern and implicit rules on the way. Note that this is not...