diff --git a/contrib/mkdocs/preload.patch b/contrib/mkdocs/preload.patch new file mode 100644 index 0000000000..8a4912a9ff --- /dev/null +++ b/contrib/mkdocs/preload.patch @@ -0,0 +1,47 @@ +diff --git a/index.html b/index.html +index 739cbb847..78a25d8ef 100644 +--- a/index.html ++++ b/index.html +@@ -10,10 +10,38 @@ + + +