Commits on Aug 2, 2022

1. Do not add -src suffix to links in HTML when running juvix html …

   The `juvix internal doc` command generates 2 files per Juvix module.
   One for the main documentation and one for the HTML source file.
   The HTML source file is given the prefix `-src` and so links have this
   prefix.
   
   However when HTML is generated using `juvix html` only one file is
   generated per Juvix module. The filenames do not have the `-src` suffix
   and so the links should not have this suffix either.

   

   paulcadman committed Aug 2, 2022
   Configuration menu

   • View commit details
   • Copy full SHA for afb69b5
   • Browse repository at this point

   Copy the full SHA

   afb69b5 View commit details

   Browse the repository at this point in the history