On Friday, 23 November 2018 at 21:47:51 UTC, Tony wrote: > What is the situation in which the identifier StdDoc is set? When the phobos website is being compiled, its own makefile sets that. It is basically a hack for website display.