Skip to content

Move docs makefile into docs folder

Maximilian Linhoff requested to merge move_makefile into main

Since it's only dealing with the docs and nothing else, I thought it makes more sense in the docs directory.

Merge request reports

Loading