This is no longer needed as make.bat has been removed. We do not support building the documentation on Windows. This reverts commit d50daedcca. Signed-off-by: David Horstmann <david.horstmann@arm.com>
d50daedcca