Fix docs and windows

Author: tannewt

ports/raspberrypi/bindings/picodvi/Framebuffer.c

@@ -62,10 +62,9 @@
 //|         for the changed clock. This also allocates a very large framebuffer
 //|         and is most likely to succeed the earlier it is attempted.
 //|
-//|         Each *_dp and *_dn pair of pins must be neighboring, such as 19 and
-//|         20. They must also be ordered the same way. In other words, dp must
-//|         be less than dn for all pairs or dp must be greater than dn for all
-//|         pairs.
+//|         Each dp and dn pair of pins must be neighboring, such as 19 and 20.
+//|         They must also be ordered the same way. In other words, dp must be
+//|         less than dn for all pairs or dp must be greater than dn for all pairs.
 //|
 //|         The framebuffer pixel format varies depending on color_depth:
 //|         * 1 - Each bit is a pixel. Either white (1) or black (0).

tools/ci_fetch_deps.py

@@ -87,7 +87,10 @@ def main():
         submodules = ["tools/"]  # for huffman
     elif TARGET == "windows":
         # This builds one board from a number of ports so fill out a bunch of submodules
-        submodules = ["extmod/ulab", "lib/", "tools/", "ports/", "data/nvm.toml"]
+        for port in ("atmel-samd", "nrf", "raspberrypi", "stm"):
+            submodules.extend(PORT_DEPS[port])
+        unique_submodules = set(submodules)
+        submodules = list(unique_submodules)
     elif TARGET == "website":
         submodules = ["tools/adabot/"]
         submodules_tags = ["frozen/"]