mirror of
https://github.com/fish-shell/fish-shell.git
synced 2025-02-23 13:48:56 +08:00
58885fbd0b
When building the docs with an old sphinx (like e.g. on Debian), this would break links in the search results. This happens because we've nabbed the searchtools.js from a sphinx to add our special handling of short builtins like "and", "end", "cd" (as part of #7757). I don't believe this will change *a lot* in practice, so it's probably still okay, but this hack is still worthwhile. See #7946
