diff options
Diffstat (limited to 'misc/build-web-index')
-rwxr-xr-x | misc/build-web-index | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/build-web-index b/misc/build-web-index index 88a571c5..75c6de1a 100755 --- a/misc/build-web-index +++ b/misc/build-web-index @@ -49,7 +49,7 @@ def main(): print(""); print("## Libraries"); print("") - print("- [lib/prelude.dx](prelude.html): The Dex Prelude (automatically imported)") + print("- [lib/prelude.dx](lib/prelude.html): The Dex Prelude (automatically imported)") file_block(libraries.split()) |