Building for runestone (pretext build runestone), gives the following ominous warning:
error: * PTX:ERROR: While building for a Runestone server, a PreTeXt "exploration" element
error: has been encountered without a @label attribute and without a @xml:id attribute.
error: This will cause this Runestone component to fail to perform and there will be no
error: identification of this component in the Runestone database. You must add a
error: @label attribute with a unique value. (It is not necessary to add a @xml:id,
error: it is consulted as part of a backward-compatibility arrangement you do not need).
error: [You may get more than one message about this instance.]
The naive approach is to just rename the xml:id attributes to label, but if you do that, the cross references break. I -think- the right solution is to add a label= in addition to the xml:id= to each exploration.
I'm going to try to make one of the drop-in meetings and get some clarity.
Building for runestone (pretext build runestone), gives the following ominous warning:
The naive approach is to just rename the xml:id attributes to label, but if you do that, the cross references break. I -think- the right solution is to add a
label=in addition to thexml:id=to each exploration.I'm going to try to make one of the drop-in meetings and get some clarity.