From 208ca18c69209dea20504787aa39346ff2bef06f Mon Sep 17 00:00:00 2001 From: Rob Simmons Date: Mon, 7 Sep 2026 23:05:50 -0400 Subject: [PATCH] fix broken image links by making them correct links... relative to where astro sees the content, which is unfortunately not where the .elf file lives --- wiki/pages/deterministic-declaration.elf | 2 +- wiki/pages/general-description-of-twelf.elf | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/wiki/pages/deterministic-declaration.elf b/wiki/pages/deterministic-declaration.elf index 5f1a8e27..56f9400a 100644 --- a/wiki/pages/deterministic-declaration.elf +++ b/wiki/pages/deterministic-declaration.elf @@ -8,7 +8,7 @@ We define a tree with labeled nodes, and a distinguished tree ``testtree``.
-![Visual description of a balanced tree with four labeled leaves.](/src/assets/smalltree.png) +![Visual description of a balanced tree with four labeled leaves.](../../../assets/smalltree.png) Graphical representation of the tree ``testtree`` used in this example.
diff --git a/wiki/pages/general-description-of-twelf.elf b/wiki/pages/general-description-of-twelf.elf index 81fc846f..3826fabb 100644 --- a/wiki/pages/general-description-of-twelf.elf +++ b/wiki/pages/general-description-of-twelf.elf @@ -7,7 +7,7 @@ **Twelf** is a piece of computer software, and it is also a computer language understood by the Twelf software. This is a common ambiguity in computer systems - you can "install Java on your computer" (Java, a piece of computer software), or you can "write programs in Java for work" (Java, the computer language that is understood and interpreted by the software).
-![A Twelf file open in Emacs, showing Twelf's output and the "Server OK" message that means Twelf loaded the file with no errors.](/src/assets/serverok.png) +![A Twelf file open in Emacs, showing Twelf's output and the "Server OK" message that means Twelf loaded the file with no errors.](../../../assets/serverok.png) _Using Twelf with the Emacs text editor. The red, blue, and black text at the top is Twelf code, and the black text at the bottom is the output from the Twelf program reading the code._