make -C docs/formal doxygen fails: newunicodechar, ASCII character requested #103

New Issue

2026-11-06T19:06:08Z

rajames commented

2026-11-06 19:06:08 +00:00

Opened 2026-11-06 · Closed 2026-11-06 · 5b58b0b1

fix-doxygen-unicode.py turned Doxygen's own \doxynewunicodechar{⁻} into {?}.

_{Reconstructed 2026-11-06 from the project record; Gitea dates every issue by when it is created.}

**Opened 2026-11-06 · Closed 2026-11-06** · `5b58b0b1` `fix-doxygen-unicode.py` turned Doxygen's own `\doxynewunicodechar{⁻}` into `{?}`. <sub>Reconstructed 2026-11-06 from the project record; Gitea dates every issue by when it is created.</sub>

rajames added this to the CI and the gate milestone 2026-11-06 19:06:08 +00:00

rajames added the

kind

bug

area/docs labels 2026-11-06 19:06:08 +00:00

rajames closed this issue

2026-11-06 19:06:10 +00:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: rajames/LithosAnanke#103