-
Klaus Aehlig authored
While design-2.9.rst was already created earlier, it wasn't registered in the Makefile. Fix this. Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Guido Trotter <ultrotter@google.com>
036744e2
While design-2.9.rst was already created earlier, it wasn't registered in the Makefile. Fix this. Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Guido Trotter <ultrotter@google.com>