ansible
diff --git a/‎docs/docsite/.templates/redirect_template.html
Lines changed: 1 addition & 0 deletions b/‎docs/docsite/.templates/redirect_template.html
Lines changed: 1 addition & 0 deletions
diff --git a/‎docs/docsite/Makefile.sphinx
Lines changed: 2 additions & 1 deletion b/‎docs/docsite/Makefile.sphinx
Lines changed: 2 additions & 1 deletion
@@ -0,0 +1 @@
+<html><head><meta name="robots" content="noindex"><noscript><meta http-equiv="refresh" content="0; url=${to_uri}" /></noscript><script>var target = "${to_uri}";if (window.location.hash) {window.location.replace(target + window.location.hash);} else {window.location.replace(target);}</script></head></html>
@@ -2,10 +2,11 @@
 #
 
 # You can set these variables from the command line.
+EXTRA_TAGS    ?=
 DOCS_VARIANTS ?=
 SPHINXCONFDIR = rst
 LANGOPTS      ?=
-SPHINXOPTS    ?= -j $(CPUS) -n -w rst_warnings -c "$(SPHINXCONFDIR)" $(DOCS_VARIANTS) $(LANGOPTS)
+SPHINXOPTS    ?= -j $(CPUS) -n -w rst_warnings -c "$(SPHINXCONFDIR)" $(DOCS_VARIANTS) $(EXTRA_TAGS) $(LANGOPTS)
 SPHINXBUILD   = sphinx-build
 SPHINXPROJ    = sdfsdf
 SOURCEDIR     = rst
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+<html><head><meta name="robots" content="noindex"><noscript><meta http-equiv="refresh" content="0; url=${to_uri}" /></noscript><script>var target = "${to_uri}";if (window.location.hash) {window.location.replace(target + window.location.hash);} else {window.location.replace(target);}</script></head></html>`