Closed masinter closed 4 months ago
interlisp.org/src should be live again with the "new" URLs. I was working on trying to simplify the process of building it.
I confirm https://interlisp.org/src is back online.
with this PR, the substring "/src/" isn't in the calls to HCFILES and MAKE-INDEX-HTMLS. setting it up to be /src/ or /hc/ and/or https://releases.interlisp.org a network file server will also work'
I don't know if it's related to these changes but I get a 404 error when visiting https://interlisp.org/src