Add a new pdf-docs environment to enable PDF build. Change-Id: I02125d7f348ed956695f9b60ab605b2ffbddfd55