so currently when you open documentation through an interface webpage, for example julia-stan (that's when I encountered this) then Stan Documentation there redirects you to https://mc-stan.org/documentation/ instead of https://mc-stan.org/users/documentation/. What currently happens when you try to go to documentation is, downloading index.md.bak
I imagine one of the other possible fixes is having /documentation/index.md (currently /documentation does not have an index.md page) which can correctly redirect to /users/documentation/index.md. (I did not verify because I didn't want to setup ruby environment locally right now, but I can verify this later).
Not sure if this is the correct/desired fix, so treat this as an issue/fix!
WardBrian
commented
1 year ago
so currently when you open documentation through an interface webpage, for example julia-stan (that's when I encountered this) then
Stan Documentationthere redirects you tohttps://mc-stan.org/documentation/instead ofhttps://mc-stan.org/users/documentation/. What currently happens when you try to go to documentation is, downloadingindex.md.bakI imagine one of the other possible fixes is having
/documentation/index.md(currently/documentationdoes not have anindex.mdpage) which can correctly redirect to/users/documentation/index.md. (I did not verify because I didn't want to setup ruby environment locally right now, but I can verify this later).Not sure if this is the correct/desired fix, so treat this as an issue/fix!