Open clhodapp opened 9 years ago
Do we want to generate our HTML from Latex or make it its own independent output format? We must choose!
I think there is a use case for a plain HTML backend and a separate dynamic javascripty backend: https://github.com/kolowheel/new-scaladoc/issues/9
Do we want to generate our HTML from Latex or make it its own independent output format? We must choose!