Tweak print/texlive-docs version 20120701