dev: replace gapmacro2gapdoc.g with a Python rewrite - #6496

Open

fingolfin wants to merge 7 commits into

gap-system:masterfrom

fingolfin:mh/gapmacro2gapdoc-py

Commits on Aug 7, 2026

dev: replace gapmacro2gapdoc.g with a Python rewrite

fingolfin
and
claude
committed
a88fd84

Commits on Aug 8, 2026

dev/gapmacro2gapdoc.py: report names declared more than once

fingolfin
and
claude
committed
1869ce5
dev/gapmacro2gapdoc.py: handle plain-TeX math that LaTeX rejects

fingolfin
and
claude
committed
1f1ee23

Commits on Aug 11, 2026

dev/gapmacro2gapdoc.py: unlabel sections named after their own function

fingolfin
and
claude
committed
d8ff16a
dev/gapmacro2gapdoc.py: keep chapter files clear of AutoDoc's scaffold

fingolfin
and
claude
committed
95b711f

Commits on Aug 12, 2026

dev/gapmacro2gapdoc.py: report a gap> line that does not end its statement

fingolfin
and
claude
committed
8288296
dev/gapmacro2gapdoc.py: handle \pif, \excl and \hyphenation
fingolfin
committed
ede3d84