Ralf Hemmecke <[EMAIL PROTECTED]> writes: | Hi Gaby, | | I've once made a test and Bill confirmed my findings... | | http://lists.gnu.org/archive/html/axiom-developer/2005-12/msg00262.html | | It seems that there is only ONE line in Axiom that still needs the | noweb patch. I think we should simple add an @ to escape the << and | get rid of the noweb sources. | Tim seems to want the following "non-noweb convention". | | If | ... <<Blah>> ... | appears in the text and the chunk name <<Blah>> is not defined, | then noweb should output "<<Blah>>" literally. | | That is not Norman Ramsey's definition, he doesn't like it and he even | presented an awk-script that can be used as a filter to achieve that | behaviour. | | We should get rid of this convention and we should not have need for | the awk script. I would rather tell to people that they should write | according to noweb's definition than introducing a slight modification | like given through the above convention. (Where should we document | that anyway?)
Given, your assessment, I agree that we should not have that modification. I don't see a compelling reason to modify the standard noweb convention, given the only one evidence for its need so far. Thanks! -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
