On Sunday, 15 September 2013 at 18:25:03 UTC, Vladimir Panteleev
wrote:
Implementation-wise:
I assume Ddox has failed to be integrated because it was a
server-side process. It also places each symbol in its own
file, which will break existing links. Perhaps it be feasible
to reimplement only its basic index-table functionality in
JavaScript, to replace the word-blob/dropdown?
Admitting that server-side process has failed and moving to JS is
akin to accepting failure to do proper documentation at all.
Static documentation which requires JS to be conveniently usable
is disaster.