tweaks: be more precise about what --disable-extra does
Also, harmonize some configure-option descriptions, add a slash after a subdir, and fix a typo.
Showing
+36 -37
Please register or sign in to comment
Also, harmonize some configure-option descriptions, add a slash after a subdir, and fix a typo.