404 in ReadMe target URL

metanorma / metanorma-docker

Docker container for running the Metanorma toolchain

https://www.metanorma.com

5 stars 3 forks source link

Closed odeclas closed 3 years ago

odeclas commented 3 years ago

The alternative install instructions lead to a 404 page on the metanorma site for this page - https://www.metanorma.org/author/topics/install/

CAMOBAP commented 3 years ago

@odeclas looks like you opened this link from

This is an outdated menu, and we will remove it

cc @ronaldtse

ronaldtse commented 3 years ago

@odeclas @CAMOBAP thank you!

CAMOBAP commented 3 years ago

Done