This is probably better for if we ever want to switch things up.

Ayush Singh authored 1 year ago and Jason Kridner committed 1 year ago

- Convert all .png and .jpg to .webp
- Remove some duplicate images

Signed-off-by: Ayush Singh <ayushdevel1325@gmail.com>

Ayush Singh authored 1 year ago and Jason Kridner committed 1 year ago

- Does the same thing we were manually doing but is much nicer to use

Signed-off-by: Ayush Singh <ayushdevel1325@gmail.com>

This doesn't work with current version of sphinx-tabs but may get support in future.