26 ms·
Regarding make, Noweb gets this right. When you edit the web source, the tangle step only writes new modification times to output files that actually changed.
by metaed 2y ago
Regarding make, Noweb gets this right. When you edit the web source, the tangle step only writes new modification times to output files that actually changed.