Skip to content

Info about how to run the local dev server to have redirects working #463

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
schweigisito merged 2 commits into from
Sep 19, 2025
Merged

Info about how to run the local dev server to have redirects working #463

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
ec98fc9
mention redirects in local dev server
schweigisito Sep 12, 2025
2d58bb0
fix run command for local dev server with static files
schweigisito Sep 12, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 9 additions & 0 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,13 @@ pnpm start

This command will launch a local development server and open the site in your browser. Changes are hot-reloaded automatically.

> ⚠️ `docs` tree contains redirects, because some documentation files may have been removed or moved, and old bookmarks should still work. To have those working in the local dev server, the documentation needs to be built first:

```bash
pnpm build
pnpm run serve
```

### Start docs in German

To launch the documentation in German, run:
Expand All @@ -31,6 +38,8 @@ pnpm run start --locale de
> ⚠️ Switching languages via the language switcher is currently not supported.




## Build

```bash
Expand Down