On 6/7/2017 9:02 PM, Idris Samawi Hamid ادريس سماوي حامد wrote:
On Wed, 07 Jun 2017 12:11:14 -0600, Pablo Rodriguez
wrote: (but i have to admit that i normally just run files and redo after fixing an error, running is fast enough)
My question here isn’t about speed. If a source may load twenty source files and it actually loads five source files, the problem is having to check the files individually.
I suppose it wouldn't be too hard for someone with the requisite ability to write a script to pipe and run the check on the argument of each \input in a main file.
OTOH, \input's can have \input's so it could get unwieldy pretty quick..
As a matter of workflow, I would just check each \input when editing it, don't see the need to check them all over and over - but maybe you have some huge collaborative project with lots of \inputs frequently changing.. sure it's no big deal to write such a script but in decades of tex i never felt the need
Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------