Как externalize узнает, когда следует перерисовать tikzpicture?

Как externalize узнает, когда следует перерисовать tikzpicture?

Я изучаю библиотеку экстернализации (руководство версии 3.1.3, раздел 52, страница 661). Ничего не сказано о том, как библиотека перерисовывает/регенерирует измененный tikzpicture. Другими словами, что вызывает необходимость перерисовывать tikzpictureснова?

В документации указано следующее:

Имена файлов генерируются автоматически в конфигурации по умолчанию. В нашем случае два имени файлов будутглавная-фигура0и главная-фигура1. Если они существуют, эти изображения просто включаются, а сами изображения не обрабатываются. Если графические файлы отсутствуют, предпринимаются шаги по созданию недостающих.

решение1

Также есть файл с именем main-figure0.md5. Я не уверен, но думаю, что это хэш всего вашего tikzpicture, поэтому, если вы что-то измените в описании вашего графика, новый хэш будет отличаться от старого и вызовет перерисовку.

Связанный контент