[bug #63042] Enhancement: mdocmx(7) extension to mdoc(7)

2022-09-10 Thread anonymous
Follow-up Comment #3, bug #63042 (project groff): ..but feel free to simply take it and integrate as a regular groff thing! It was just that the 2014/5 patch i think never was integrated in a build system, and this thing now just integrates into the groff build system. Ciao. __

[bug #63042] [PATCH] Enhancement: mdocmx(7) extension to mdoc(7)

2022-09-10 Thread Dave
Update of bug #63042 (project groff): Summary: Enhancement: mdocmx(7) extension to mdoc(7) => [PATCH] Enhancement: mdocmx(7) extension to mdoc(7) ___ Follow-up Comment #4: This appears to be an updated version of bug #4503