On 12/29/14 4:27 PM, H. S. Teoh via Digitalmars-d wrote:
On Mon, Dec 29, 2014 at 04:19:53PM -0800, Andrei Alexandrescu via Digitalmars-d
wrote:
Please destroy https://github.com/D-Programming-Language/dlang.org/pull/734
-- Andrei
Please don't.
The *real* fix is to fix dmd to output nicer anchors, not patching
broken output with, of all things, a *script*.
You'd need a much better argument to be convincing. Each platform has
its own way of doing referencing; LaTeX runs multiple times, and for
HTML using scripts seems appropriate to me. I'd see generation of
platform-independent indexes a major effort. -- Andrei