Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix broken doc link #2306
After #2152 has been merged, it looks like some of the doc had broken links to other docs due to the path changes. I just scanned all the
One correction, I did scan other files as well, and thus ended up touching
As to the build failure, I'm uncertain how this PR can cause any build behaviour change from the previous run. I'm new to the flux repo, and would love if anyone can lend a hand looking into it.