0f39c735e5
This gets pdf docs building again. Change-Id: I51131e6bb14313f2f45b2b915557e16351ed8c57
This gets pdf docs building again. Change-Id: I51131e6bb14313f2f45b2b915557e16351ed8c57