-
Médéric Boquien authored
The output directory is a bit of a mess, with it being defined in different places. As we never make use of the possibility of changing it, let's simply hardcode it to out/. It makes filenames slightly easier to read too.
5e8fc046