Commit 3f478b6cd3041b85891ff4a3ef1a141f85f82e49

Paul Eggert 2023-06-02T14:02:53

propername-lite: new module propername_lite acts like propername_utf8 but needs less infrastructure, e.g., it does not worry about memory allocation. * MODULES.html.sh (func_all_modules): Mention it. * lib/propername.h (proper_name_lite): New decl. * lib/propername-lite.c, modules/propername-lite: New files. * pygnulib/GLEmiter.py (GLEmiter.po_Makevars): Treat proper_name_lite like proper_name_utf8.