j
k
j a
j l
Maybe we can use the publishing script to do our "includes" for us, and go back to just using straight .html files?
That would at least stop the annoying reload of doxygen index files, if I'm not mistaken, so I'm for it.
ralf
Back to the thread
Back to the list