> That's ok. But if the style files were compiled, adding the requires > into the style files would make the compilation take minutes, because > each style file compilation would need to load the core files first.
Yup. I personally don't see much need to add the `require's in those
style files. Then again, I'm not too bothered by lingering warnings.
Stefan
_______________________________________________
bug-auctex mailing list
bug-auctex@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-auctex
