appropriate use of #tag and #attr

10 views
Skip to first unread message

David Austin

unread,
Aug 11, 2025, 1:18:45 PMAug 11
to pretext...@googlegroups.com
After a discussion in today's drop in, I am recording this here for future reference:

If one includes 
<attr>data="/home/data"</attr>
in PreTeXt source, the HTML conversion produces the desired result.  In the latex conversion, however, you will see
@data="\slash{}home\slash{}data"

The #attr and #tag elements are not meant for assignments.  Instead, one should use the #c tag, such as
'Set the value of the attribute <c>data="/home/data"</c>'

Rob Beezer

unread,
Aug 12, 2025, 10:58:46 AMAug 12
to pretext...@googlegroups.com
Thanks, David, for your post. I'll go a step further.

<attr>data</attr> is the correct, and intended, use of this element.

I like to say "set the attribute <attr>data</attr> to the value <c>/home/data</c>".

And David's suggestion (all in a #c element, or maybe a #cd) also works.

There's some further technical discussion over on -dev.

Rob
> --
> You received this message because you are subscribed to the Google Groups
> "PreTeXt support" group.
> To unsubscribe from this group and stop receiving emails from it, send an email
> to pretext-suppo...@googlegroups.com <mailto:pretext-
> support+u...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/d/msgid/pretext-support/
> CANXmVMDynrxfkigSu29KKjiWnP0o6oj8L2NxkktS%2BVOczodxtA%40mail.gmail.com <https://
> groups.google.com/d/msgid/pretext-support/
> CANXmVMDynrxfkigSu29KKjiWnP0o6oj8L2NxkktS%2BVOczodxtA%40mail.gmail.com?
> utm_medium=email&utm_source=footer>.

Reply all
Reply to author
Forward
0 new messages