Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Update documentation of build options for schedulers #1282
This document needs to be updated for the new build system options: https://github.com/STEllAR-GROUP/hpx/blob/master/docs/manual/scheduling_policies.qbk.
Also, the names of the scheduling policies (configure time and command line) should be unified.