Jean-Noël AVILA <jn.avila@xxxxxxx> writes: > For now, we are stuck with the compatibility with the existing tools. I will > try an propose something else. Would preprocessing be accepted? Pre-processing will be hidden inside Documentation/Makefile and would be invisible to developers, so as long as it is cleanly and robustly done, that would be fine, I would say.
