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