diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2019-01-28 19:23:40 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-02-05 21:15:37 +0000 |
| commit | 0cd9366df16f3ee904f2b5792d39efdd7ac65c56 (patch) | |
| tree | f01eb1e3f7cfa8109467d7211204491a8e2277bc /Documentation/Makefile | |
| parent | 4e3141f19a8306633a4aa1e2215f0ba884ed1036 (diff) | |
Documentation: Allow passing arguments into make livesphinx
It's what the doc.coreboot.org docker container is running and when
using its livehtml feature, it listens at localhost, which isn't always
desirable.
With `docker run -e SPHINXOPTS="-H $localip" ...` it now listens at
localip, which is more flexible.
Change-Id: Ia0614e57458c32169f6d614783366025e9c814b3
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/31128
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index ed08936b7b..b4fe8df0ab 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -52,4 +52,4 @@ distclean: clean rm -f corebootPortingGuide.pdf livesphinx: - $(MAKE) -f Makefile.sphinx livehtml + $(MAKE) -f Makefile.sphinx livehtml SPHINXOPTS="$(SPHINXOPTS)" |