#1556: Online Thorn Guide broken -----------------------------------------+---------------------------------- Reporter: joachim.frieben@… | Owner: Type: defect | Status: confirmed Priority: major | Milestone: Component: EinsteinToolkit website | Version: Resolution: | Keywords: broken index -----------------------------------------+----------------------------------
Comment (by hinder):
Wrongly-indexed documentation is better than none at all :) For now, I like your PHP script. Shall we add it to the web page? Once it has the ET stylesheet applied, it should be good enough I think.