pandoc wasn't available when this branch's earlier commit ran build-manual.py --concat; regenerate docs/fish-config.1 from the current docs/fish-config.md now that it is.
pandoc wasn't available when this branch's earlier commit ran build-manual.py --concat; regenerate docs/fish-config.1 from the current docs/fish-config.md now that it is.