-
Anthony Mallet authored
Alternative summary in `make show-options` can be quite obfuscated without a manual. So display a short legend for each symbol present in the output of the current alternative selection.
71364df7
Alternative summary in `make show-options` can be quite obfuscated without a manual. So display a short legend for each symbol present in the output of the current alternative selection.