Closed Gastove closed 8 years ago
Implementation note to point out: the very easiest way to provide search for HTML docs is to serve those HTML docs from the DB. But, there's a whole mob of docs that go in to making the HTML docs work -- for instance, CSS files. We can either:
Right now, I'm implementing no. 2, because 1 sounds like way to big a pain in the ass. But: I'm open to it, if somebody can think of a really compelling reason why we need it.
Done!
Needed for #24. Several moving pieces to keep track of: