- ‘.#p1402.tex’
+ ‘auto/’
+ ‘auto/p1402.el’
/ ‘p1402.tex’