MoEML 2025-07-28 to 2025-08-01
to : Martin Holmes
Minutes: 100
Starting last week, I was trying to debug a problem with a duplicate id showing
up in several documents. It turned out that the problem was caused by an editorial note
in a particular configuration that had not happened before: when a document is processed
to create the popup for it which will appear in documents which link to it, the first place
the code looks to find info for the popup is the <abstract> element in
the header, and that element does not allow embedded notes. However, if there is no
<abstract>, then the code uses the first paragraph in the text, where
no such restriction applies. I’ve today added code which makes sure to strip away any
notes in that case, so the downstream problem does not occur. The build eventually succeeded.
During the week, a couple more build breaks showed up, and proved to be minor.