SDK Manager: fix doc updates not being visible. do not merge.

(cherry picked from commit a50c9641a9b83db4b9db49fa5e0cad0ab859683e)

Change-Id: I3e0333ec3e411edbd2692c5b777c261475b0aec4
1 file changed