Makefile builds fully every time now (to avoid having to double-make
for the bibliography).
Written part of section 2