The Makefile for the docs started to get messy...