Restore devbox logo

README.md

@@ -1,7 +1,7 @@
 <picture>
- <source media="(prefers-color-scheme: dark)" srcset="docs/app/static/img/devbox_logo_dark.svg">
- <source media="(prefers-color-scheme: light)" srcset="docs/app/static/img/devbox_logo_light.svg">
- <img alt="Devbox logo." src="docs/app/static/img/devbox_logo_light.svg">
+ <source media="(prefers-color-scheme: dark)" srcset="assets/devbox_logo_dark.svg">
+ <source media="(prefers-color-scheme: light)" srcset="assets/devbox_logo_light.svg">
+ <img alt="Devbox logo." src="assets/devbox_logo_light.svg">
 </picture>
 
 # Devbox
@@ -37,7 +37,7 @@ The example below creates a development environment with `python 3.10` and
 machine. You can run commands in the environment with `devbox run`, or start an
 interactive shell in it with `devbox shell`:
 
-![screen cast](docs/app/static/img/devbox_demo.svg)
+![screen cast](assets/devbox_demo.svg)
 
 ## Installing Devbox
 

scripts/gen_cast.py

@@ -5,11 +5,11 @@
 mirror what the devbox CLI actually prints today, so refresh this script when
 those messages change.
 
-To regenerate docs/app/static/img/devbox_demo.svg:
+To regenerate assets/devbox_demo.svg:
 
     python3 scripts/gen_cast.py /tmp/devbox.cast
     npx svg-term-cli --in /tmp/devbox.cast \\
-        --out docs/app/static/img/devbox_demo.svg \\
+        --out assets/devbox_demo.svg \\
         --window --width 84 --height 26
 """
 import json