d2a128f7e1
It still used the old name. So convert it to use the more general name as we are building all documentation into one global document. Signed-off-by: David Herrmann <dh.herrmann@googlemail.com>
d2a128f7e1