Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Only strip
index.html
if it is at the end
... and only if it is the full file name... I noticed this because I want to convert https://git-scm.com/ to use Pagefind, but any search hitting `/docs/git-checkout-index.html` would mistakenly link to `/docs/git-checkout-`. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
- Loading branch information