Repository navigation
Overwork docs/Makefile
#3623
Replies: 1 comment
|
I'm adding 3 or more targets in #3553. Edit: Nope, sorry. That would be |
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
This file was once a maintainer-only Makefile, but is used in the CI since #3622. We should check if we should move some targets to a
CMakeLists.txtfile to simplify integration to the CI.All reactions