Patch to fix bash completion installation
|Target version:||Candidate for next minor release|
To follow up on Joaquim's request in #795 to test the 5.2.0 branch, I've started testing the upcoming release by updating the Debian package with an SVN export of r15153.
That uncovered an issue with the bash completion installation when
DGMT_INSTALL_TRADITIONAL_FOLDERNAMES=off is used.
option command only allows
ON/OFF selection and defaults to
OFF, this causes the installation of
$prefix/OFF/gmt instead of
$prefix/etc/bash_completion.d/gmt as before.
The attached patch fixes the issue by changing the
option into a