Commit ecaaa549570b2c62ec98b511d9c72de21bef79f7

Bruno Haible 2024-12-28T20:16:40

doc: Omit deprecated modules from the "Undocumented modules" index. * doc/Makefile (undocumented-modules.texi): Filter out the deprecated modules.