I suggest to change
"Save Document"
to
"Save files of document"
or similar

-- 
Jonas Stein <[email protected]>


_______________________________________________
auctex mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/auctex

Reply via email to