Akim Demaille wrote: > I used […] for default values, by habit (e.g., ./configure), > but I can restore to (default: …) if you prefer.
This notation […] is not widespread enough, IMO, that people would immediately understand it. Especially if the value is just '.': -C, --builddir=DIR location of (configured) Makefile [.] I find this shortened output confusing. Bruno
