category TLCore shortdesc top-level TeX Live doc.html longdesc This file is regenerated as needed, which is often, longdesc so we make it a separate package. docpattern +f doc.html