Wouter Verhelst 4c5e80a678 Don't build for just the docs ... We only care about the doxygen docs, not about the whole build. Yes, there are some UML files that we want to build too, but we really honestly don't need to build everything else for that. Just build the .puml files		2020-10-05 16:11:35 +02:00
..
docs.yml	Don't build for just the docs	2020-10-05 16:11:35 +02:00