Has doc-render-title gone out of fashion? doc-title used to use doc-render-title, but doc-render-title seems to have vanished at commit 6003 from title-base.ts where reference is made to package title-render but I find no such package now.
Many packages still re-define doc-render-title but no-where is it called any more. Sam
_______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
