Import statement links in HTML output are broken

[paulcadman]

To see the bug:

• Navigate to https://docs.juvix.org/examples/html/Fibonacci/Fibonacci.html
• Click on the link for open import Stdlib.Prelude

Expected:

The browser navigates to the HTML page for Stdlib.Prelude at https://docs.juvix.org/examples/html/Fibonacci/Stdlib.Prelude.html#1

Actual:

The browser navigates to https://docs.juvix.org/examples/html/Fibonacci/Stdlib.Prelude-src.html#1 resulting in a 404 error page

Issue?

The extra -src suffix in the link seems to come from kindSuffix at:

juvix/src/Juvix/Syntax/Concrete/Scoped/Pretty/Html.hs

Line 42 in 433e882

HtmlSrc -> "-src"

I'm not sure what the purpose of the -src suffix, something to do with the HTML documentation generator as it was added in #1413

[paulcadman]

The -src suffix is present because juvix internal doc generates both the Haddock-link website and links to the source files for each module.

To continue supporting the juvix html (which generates only 1 HTML file per module) command I'll add a new HtmlKind called HtmlOnly that does not add the -src to the links etc. This will be used when the HTML generation is called from the juvix html command.