In response to one of the FAQs, FSF has noted:
It is possible to use the GPL for a manual, but the GNU Free Documentation License (GFDL) is much better for manuals.
The GPL was designed for programs; it contains lots of complex clauses that are crucial for programs, but that would be cumbersome and unnecessary for a book or manual. For instance, anyone publishing the book on paper would have to either include machine-readable “source code” of the book along with each printed copy, or provide a written offer to send the “source code” later.
If I understand this correctly, in the situation where one shares their PDF along with the TeX source files under the GFDL, a recipient can modify the TeX source files to produce a modified PDF and can share the modified PDF without providing the recipient the modified TeX source files. In this crucial sense, the GFDL is different from GPL in that the latter wouldn't allow for a modified end-product to be distributed unless it is accompanied by the distribution of the corresponding modified source files.
Similarly, CC BY-SA licenses also seem to allow the same practice.
In principle, one can simply use GPL licenses for distributing documentation but as alluded to in the quoted text by the FSF, GPL is too "bloated" for the purposes of documentation. Is there a copyleft license specifically pertaining to documentation that also includes the GPL like structure so that one cannot redistribute a modified version of the documentation file without accompanying it with the modified version of the source files used to produce the documentation file?