From 7b7e2f54dab95825a78a0d6b4c9420e794c5931d Mon Sep 17 00:00:00 2001 From: Wojciech Nawrocki Date: Sat, 6 Aug 2022 15:59:57 -0400 Subject: [PATCH] fix: image paths --- doc/examples/widgets.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/examples/widgets.lean b/doc/examples/widgets.lean index 172d8a508c..edfbe5e566 100644 --- a/doc/examples/widgets.lean +++ b/doc/examples/widgets.lean @@ -8,7 +8,7 @@ Proving and programming are inherently interactive tasks. Lots of mathematical o structures are visual in nature. *User widgets* let you associate custom interactive UIs with sections of a Lean document. User widgets are rendered in the Lean infoview. -![Rubik's cube](images/widgets_rubiks.png) +![Rubik's cube](../images/widgets_rubiks.png) ## Trying it out @@ -165,7 +165,7 @@ Finally we can try out the widget. #widget checkWidget .null /-! -![`#check` as a service](images/widgets_caas.png) +![`#check` as a service](../images/widgets_caas.png) ## Building widget sources