log Makefile @ 1140:0aa8ce9f30e2

age author description
Fri, 14 Jan 2022 13:24:15 +0100 Jonatan Werpers Make the targets properly depend on the source files feature/setup_documenter