doc/manual.txt: improve build options section.