search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

MMT API docs offline #476

Closed ComFreek closed 5 years ago

ComFreek commented 5 years ago

The API doc seems to be broken in two ways:

First, visiting a "normal" documentation page like https://uniformal.github.io/doc/api/, I get the following errors in the console: image

Apart from that, I can't click on MMT-API-referencing URIs as their scheme is seemingly not rewritten by the script, which errors in the console.

Second, https://uniformal.github.io/apidoc/ is totally offline. Has the URI been replaced perhaps?

ComFreek commented 5 years ago

This was fixed by https://github.com/UniFormal/MMT/commit/360c3113fa8b763d377ac079502597b9c922b8f4.