Closed gruenich closed 1 month ago
This allows building the documentation without setting a flag only by running "make doc" / "ninja doc". The currently implemented solution by 2c8ef7da153e87745f04f968eb2a995d735e64ec is a bit drastic.
This allows building the documentation without setting a flag only by running "make doc" / "ninja doc".
The currently implemented solution by 2c8ef7da153e87745f04f968eb2a995d735e64ec is a bit drastic.