document configmake in the manual instead of the source