do-*task*-DOCS-on:

[Carsten Larsen]

11-06-2017 20:35 Richard Gallamore:
> I been seeing functions like do-install-DOCS-on: recently and can't find
> any documentation or the code that is magically causing this to function.
> Any idea where I can find this information?
> 

Porter's Handbook, "section 5.13.3.12. Additional Build Targets, 
TARGET-OPT-on and TARGET-OPT-off" explains how to use those optional 
extra build targets.