mirror of
https://github.com/fish-shell/fish-shell.git
synced 2025-02-25 20:57:57 +08:00

INSTALL_DOCS is not a controllable option, and is only used to indicate whether they will be installed or not. This reverts commit e800b18ee98a75f59c6eaa03d89525cf9aba47af.