mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-06-19 13:01:15 -03:00
INSTALL_DOCS is not a controllable option, and is only used to indicate
whether they will be installed or not.
This reverts commit e800b18ee9.