diff --git a/.readthedocs.yml b/.readthedocs.yml
new file mode 100644
index 0000000000..19b6eca259
--- /dev/null
+++ b/.readthedocs.yml
@@ -0,0 +1,4 @@
+formats: []
+
+python:
+    version: 3
diff --git a/aux/broctl b/aux/broctl
index e60dbc60c3..4808c07314 160000
--- a/aux/broctl
+++ b/aux/broctl
@@ -1 +1 @@
-Subproject commit e60dbc60c3cbc602da84052f61e43da36d81de2d
+Subproject commit 4808c07314ced57ac38364ff60647cbc33e853b6
diff --git a/doc/conf.py b/doc/conf.py
index 50a96794cc..adff691f71 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -182,7 +182,7 @@ html_title = u'Zeek User Manual v' + release
 #html_file_suffix = None
 
 # Output file base name for HTML help builder.
-htmlhelp_basename = 'bro-doc'
+htmlhelp_basename = 'zeek-docs'
 
 # -- Options for LaTeX output --------------------------------------------------