documentation maintanence#560

Open

paolopas wants to merge 4 commits intobfgroup:mainfrom

Commits on Feb 16, 2026

documentation maintanence
paolopas
committed

Commits on Feb 21, 2026

Commits on Feb 22, 2026

fixed example in §8.7 Main target rules
paolopas
committed