-
Jose A. Lopes authored
Add OS reinstall design doc to the list of design docs in the Makefile, otherwise it does not get compiled when modified, and add it also to the index page of the documentation, where all the other design docs are anchored. Signed-off-by: Jose A. Lopes <jabolopes@google.com> Reviewed-by: Michele Tartara <mtartara@google.com>
2cb36124