From: Marc R. <re...@gm...> - 2022-12-09 14:14:37
|
I pushed the work-in-progress doc-reorganise branch. It is an attempt to remove the clutter in the pdf navigation pane by converting chapters into sections. Is this something worthwhile pursuing further? Any other remarks? Marc |