"PB" == Peter Breitenlohner writes: PB> that include was commented out by Jerome on July 8. oh, right. >> so if the same could be done in synctex, then "web2c/c-auto.h" will >> not need to be included. PB> the same is done for texk/web2c/ and the result of this test is in PB> web2c/c-auto.h thanks. Best, v.