Update the documentation generation to suit Debian. Since the source for the documentation is not packaged on Debian, the special entrypoint for the documentation is disabled and replaced with a message informing users of the location of the pre-packaged documentation.
Disable the online menu. This menu is not stable enough to ship long-term yet, as it relies on an externally hosted server which is not likely to be ahead of the installed version.
Filip Strömbäck <filip@fprg.se>
not-needed
Showing 1 to 5 of 5 entries
All known versions for source package 'storm-lang'