diff --git a/Makefile b/Makefile
index 56efaf5eb0f..6711751b62d 100644
--- a/Makefile
+++ b/Makefile
@@ -1012,7 +1012,7 @@ docs/reqs:
 
 DOC_TARGET ?= html
 docs: docs/source/cmd/abc.rst docs/gen_examples docs/gen_images docs/guidelines docs/usage docs/reqs
-	$(Q) $(MAKE) -C docs $(DOC_TARGET)
+	$(Q) YOSYS_VER=$(YOSYS_VER) $(MAKE) -C docs $(DOC_TARGET)
 
 clean:
 	rm -rf share
diff --git a/docs/source/conf.py b/docs/source/conf.py
index 29d36d9c45f..aed3fddff7c 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -63,6 +63,14 @@
 extensions.append('sphinx.ext.todo')
 todo_include_todos = False
 
+# attempt to get version
+env_yosys_ver = os.getenv("YOSYS_VER")
+if env_yosys_ver:
+    if os.getenv("READTHEDOCS") and os.getenv("READTHEDOCS_VERSION") == "latest":
+        release = env_yosys_ver + "-dev"
+    else:
+        release = env_yosys_ver
+
 # custom cmd-ref parsing/linking
 sys.path += [os.path.dirname(__file__) + "/../"]
 extensions.append('util.cmdref')