| Age | Commit message (Collapse) | Author | Files | Lines |
|
With the current docs directory setup, I'm making too many mistakes and have to manually address path changes and directory moves on deploy. This makes for a frustrating experience developing locally and shipping releases. With this PR, we're basically back to the same setup from v3—duplicating the dist directory into our docs directory. Not the most ideal, but very straightforward for me as the release manager.
|
|
Also, move the search code to a separate file.
|
|
Rely on `site.url` which is different for production. In that case do nothing with the search result, otherwise when in development remove our url from it.
|
|
Previously a search redirected to `https://getbootstrap.com/...`
|
|
|
|
|
|
|
|
|
|
Also fix a couple of typos while at it and change header tags' order.
|
|
|