Hello, François Pinard <pin...@iro.umontreal.ca> writes:
> The spirit behind :export: is that it marks exactly what is going to be > exported. This implies, in my understanding, that everything else does > not get exported. If the lines prior to the first header are exported > whenever there is an :export: tag somewhere, it goes against the spirit > and intent of :export: in my opinion. I agree, this is a misfeature. This should be fixed in master. Thank you for bringing it out. Regards, -- Nicolas Goaziou
