trim docs and sources to keep down size of texdeps.

Change-Id: I4b07c0376e3230e0f87cd0e97460696105563b0b