doc: ship wavedrom js b/c https

doc/manual/conf.py

@@ -53,7 +53,7 @@ extensions = [
     'sphinx.ext.mathjax',
     'sphinx.ext.viewcode',
     'sphinxarg.ext',
-    'sphinxcontrib.wavedrom',
+    'sphinxcontrib.wavedrom',  # see also below for config
 ]
 
 # Add any paths that contain templates here, relative to this directory.
@@ -291,3 +291,7 @@ texinfo_documents = [
 
 # If true, do not generate a @detailmenu in the "Top" node's menu.
 #texinfo_no_detailmenu = False
+
+# -- Options for sphinxcontrib-wavedrom -----------------------------------
+offline_skin_js_path = 'static/default.js'
+offline_wavedrom_js_path = 'static/WaveDrom.js'

doc/manual/rtio.rst

@@ -71,8 +71,6 @@ The following diagram shows what is going on at the different levels of the soft
     ],
   }
 
-
-
 The sequence is exactly equivalent to:::
 
   ttl.pulse(2*us)