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.
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.