diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2020-10-29 13:31:11 +0100 |
|---|---|---|
| committer | Alexandre Flament <alex@al-f.net> | 2020-10-30 20:30:20 +0100 |
| commit | e697d78d5a907014252df9aec79d981b800aac91 (patch) | |
| tree | 9b8f94fcf13da458a96d69a2347b942a67880fc5 /Makefile | |
| parent | 54afe37e18cdbf4fd858907f0a6e83c6cb1c4157 (diff) | |
[mod] make docs-live - remove --port option from sphinx-autobuild
Setting port fixed to 8080 has drawbacks when this port is already in use from
another application [1]. Removing this option from the command line offers the
use of the sphinx-autobuild defaults which are much more flexible [2].
[1] https://github.com/searx/searx/issues/2282
[2] https://github.com/executablebooks/sphinx-autobuild/blob/master/README.md
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions