mkdocs: Use custom port number to avoid conflicts #27

Merged
Brecht Van Lommel merged 2 commits from mod_moder/blender-developer-docs-fork:tmp_port_fix into main 2024-05-27 11:11:36 +02:00
Showing only changes of commit 91e7ae62a3 - Show all commits

View File

@ -3,7 +3,7 @@ site_url: https://developer.blender.org/docs/
repo_url: https://projects.blender.org/blender/blender-developer-docs repo_url: https://projects.blender.org/blender/blender-developer-docs
repo_name: projects.blender.org repo_name: projects.blender.org
edit_uri: _edit/main/docs edit_uri: _edit/main/docs
# Just some random port to avoid collisions on the most of platforms. # Some random port to avoid collisions with other software.
dev_addr: 127.0.0.1:3917 dev_addr: 127.0.0.1:3917
theme: theme: