Open JohnHadish opened 10 months ago
After creating a new structure using the \plop command the new structure is not recognized by the vanilla \locate command. It would be convenient if the new structure could be found using \locate.
\plop
\locate
After creating a new structure using the
\plop
command the new structure is not recognized by the vanilla\locate
command. It would be convenient if the new structure could be found using\locate
.