summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Documentation/Makefile2
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)"