There is really no reason to have _two_ documentation directories. Signed-off-by: David Herrmann <dh.herrmann@googlemail.com>