"Sebastien Vauban" <sva-n...@mygooglest.com> writes: > Of course, we can wonder whether that particularity of COMMENT couldn't > or shouldn't be transported to :noexport: as well (or something extra, > such a :donothing:).
A :donothing tag or property seems more logical to me than a COMMENT keyword that is somehow a special case in the syntax. -- cheers, Thorsten
